756 search results - page 13 / 152 » Understanding COBOL Systems using Inferred Types |
109
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
118
click to vote
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
125
Voted
APLAS
2000
ACM
15 years 7 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
119
Voted
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 ...
125
Voted
ER
2010
Springer
15 years 18 days ago
2010
Springer
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...