2646 search results - page 30 / 530 » Local Type Inference |
115
Voted
ECOOP
2012
Springer
13 years 2 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
72
Voted
ACL
1994
15 years 1 months ago
1994
It is claimed that a variety of facts concerning ellipsis, event reference, and interclausal coherence can be explained by two features of the linguistic form in question: (1) whe...
101
Voted
ICFP
2001
ACM
16 years 13 days ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
91
Voted
UAI
1993
15 years 1 months ago
1993
We examine two types of similarity networks each based on a distinct notion of relevance. For both types of similarity networks we present an efficient inference algorithm that wo...
106
Voted
ERLANG
2007
ACM
15 years 4 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...