|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A sound polymorphic type system for a dialect of C |
Smith, Geoffrey |
1998 |
32 | 1-3 |
p. 49-72 24 p. |
artikel |
|
| 2 | A transformation-based optimiser for Haskell |
Peyton Jones, Simon L. |
1998 |
32 | 1-3 |
p. 3-47 45 p. |
artikel |
|
| 3 | Author index of volume 32 |
1998 |
32 | 1-3 |
p. 221- 1 p. |
artikel |
||
| 4 | Basic simple type theory |
Francez, Nissim |
1998 |
32 | 1-3 |
p. 211-213 3 p. |
artikel |
|
| 5 | Constraints to stop deforestation |
Seidl, H. |
1998 |
32 | 1-3 |
p. 73-107 35 p. |
artikel |
|
| 6 | Editorial Board |
1998 |
32 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 7 | Explorations in quantum computing |
de Wolf, Ronald |
1998 |
32 | 1-3 |
p. 213-217 5 p. |
artikel |
|
| 8 | Foreword |
Nielson, Hanne Riis |
1998 |
32 | 1-3 |
p. 1-2 2 p. |
artikel |
|
| 9 | Lambda-calculus, types and models |
Klop, J.W. |
1998 |
32 | 1-3 |
p. 217-218 2 p. |
artikel |
|
| 10 | Linear-time hierarchies for a functional language machine model |
Rose, Eva |
1998 |
32 | 1-3 |
p. 109-143 35 p. |
artikel |
|
| 11 | Optimal domains for disjunctive abstract interpretation |
Giacobazzi, Roberto |
1998 |
32 | 1-3 |
p. 177-210 34 p. |
artikel |
|
| 12 | Towards a logical semantics for pure Prolog |
Barbuti, Roberto |
1998 |
32 | 1-3 |
p. 145-176 32 p. |
artikel |
|
| 13 | Visual programming |
Dinesh, T.B. |
1998 |
32 | 1-3 |
p. 218-220 3 p. |
artikel |
13 gevonden resultaten