462 search results - page 9 / 93 » Function Types in Complete Type Inference |
115
click to vote
JFP
2007
15 years 2 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
137
click to vote
DLS
2008
15 years 4 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
108
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
114
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
140
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...