7529 search results - page 28 / 1506 » The Modula-3 Type System |
135
Voted
WFLP
2009
Springer
15 years 9 months ago
2009
Springer
This paper shows that type-checking and type-inference problems are equivalent in domain-free lambda calculi with existential types, that is, type-checking problem is Turing reduci...
103
Voted
FUIN
2006
15 years 2 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
132
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
114
Voted
JOLLI
2006
15 years 2 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
136
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...