645 search results - page 13 / 129 » Pure patterns type systems |
112
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
126
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
109
Voted
NIPS
1994
15 years 3 months ago
1994
Each yearpeoplespendahugeamountoftimetyping. Thetextpeopletype typically contains a tremendousamount of redundancy due to predictable word usage patterns and the text's struc...
114
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
126
click to vote
NJC
2000
15 years 1 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...