nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation
|
Carlier, Sébastien |
|
2005 |
136 |
C |
p. 173-202 30 p. |
artikel |
2 |
Intersection and Union Types for X
|
van Bakel, Steffen |
|
2005 |
136 |
C |
p. 203-227 25 p. |
artikel |
3 |
Intersection and Union Types in the λ ¯ μ μ ˜ -calculus
|
Dougherty, Daniel J. |
|
2005 |
136 |
C |
p. 153-172 20 p. |
artikel |
4 |
Intersection Types for Light Affine Lambda Calculus
|
de Carvalho, Daniel |
|
2005 |
136 |
C |
p. 133-152 20 p. |
artikel |
5 |
Lazy Strong Normalization
|
Paolini, Luca |
|
2005 |
136 |
C |
p. 103-116 14 p. |
artikel |
6 |
On Type Inference in the Intersection Type Discipline
|
Boudol, Gérard |
|
2005 |
136 |
C |
p. 23-42 20 p. |
artikel |
7 |
Preface
|
Coppo, Mario |
|
2005 |
136 |
C |
p. 1-2 2 p. |
artikel |
8 |
Programming Examples Needing Polymorphic Recursion
|
Hallett, J.J. |
|
2005 |
136 |
C |
p. 57-102 46 p. |
artikel |
9 |
Sequence Types for the π-calculus
|
Maffeis, Sergio |
|
2005 |
136 |
C |
p. 117-132 16 p. |
artikel |
10 |
Towards an Intersection Typed System à la Church
|
Liquori, Luigi |
|
2005 |
136 |
C |
p. 43-56 14 p. |
artikel |
11 |
Type Preorders and Recursive Terms
|
Alessi, Fabio |
|
2005 |
136 |
C |
p. 3-21 19 p. |
artikel |