7529 search results - page 139 / 1506 » The Modula-3 Type System |
133
click to vote
PPDP
2009
Springer
15 years 11 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...
141
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
164
Voted
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
134
click to vote
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
137
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...