1072 search results - page 31 / 215 » Object-Oriented Type Inference |
120
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
123
click to vote
ECOOP
1997
Springer
15 years 7 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
137
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
127
click to vote
ICECCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
129
click to vote
CAISE
1995
Springer
15 years 6 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...