3815 search results - page 167 / 763 » An Implementation of Session Types |
216
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
113
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Dependent Classes Vaidas Gasiunas and Mira Mezini Technische Universit¨at Darmstadt, Germany Abstract. Dependent classes are parameterized classes, the interface and implementatio...
121
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
147
Voted
ENTCS
2008
15 years 2 months ago
2008
The type theory P corresponds to the logical framework LF. In this paper we present H, a variant of P where convertibility is not implemented by means of the customary conversion ...
111
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...