1072 search results - page 51 / 215 » Object-Oriented Type Inference |
106
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
ACL
1994
15 years 4 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...
127
click to vote
ICFP
2001
ACM
16 years 3 months 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...
108
click to vote
UAI
1993
15 years 4 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...
133
click to vote
ERLANG
2007
ACM
15 years 7 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...