1072 search results - page 125 / 215 » Object-Oriented Type Inference |
115
Voted
SLOGICA
2008
15 years 3 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
111
click to vote
CG
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes on-going work in the analysis of motion dynamics in pen-based interaction. The overall goal is the creation of a model of user motion in pen gestures where co...
149
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
In this paper we propose a distributed message-passing algorithm for inference in large scale graphical models. Our method can handle large problems efficiently by distributing a...
267
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
125
Voted
ML
2006
ACM
15 years 9 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...