|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| 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 |
11 gevonden resultaten