|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Applicative high order programming: The standard ML perspective |
Steensgaard-Madsen, Jørgen |
1992 |
18 | 3 |
p. 293-294 2 p. |
artikel |
|
| 2 | Arbiters: an exercise in specifying and decomposing asynchronously communicating components |
Ebergen, Jo C. |
1992 |
18 | 3 |
p. 223-245 23 p. |
artikel |
|
| 3 | Author index—Volume 18 (1992) |
1992 |
18 | 3 |
p. 311- 1 p. |
artikel |
||
| 4 | Call for papers |
1992 |
18 | 3 |
p. 307-309 3 p. |
artikel |
||
| 5 | CMU Computer science—a 25th anniversary commemorative |
Bauer, Friedrich L. |
1992 |
18 | 3 |
p. 295-297 3 p. |
artikel |
|
| 6 | Commentary on standard ML |
Steensgaard-Madsen, Jørgen |
1992 |
18 | 3 |
p. 302-303 2 p. |
artikel |
|
| 7 | John von Neumann and the origins of modern computing |
Zemanek, Heinz |
1992 |
18 | 3 |
p. 297-300 4 p. |
artikel |
|
| 8 | Logical frameworks |
Tyugu, Enn |
1992 |
18 | 3 |
p. 303-304 2 p. |
artikel |
|
| 9 | Minimal state graph generation |
Bouajjani, A. |
1992 |
18 | 3 |
p. 247-269 23 p. |
artikel |
|
| 10 | ML for the working programmer |
Steensgaard-Madsen, Jørgen |
1992 |
18 | 3 |
p. 300-301 2 p. |
artikel |
|
| 11 | Projections factorisation in partial evaluation |
Bulyonkov, Mikhail |
1992 |
18 | 3 |
p. 304-306 3 p. |
artikel |
|
| 12 | Reasoning algebraically about recursion |
Gardiner, P.H.B. |
1992 |
18 | 3 |
p. 271-280 10 p. |
artikel |
|
| 13 | The practice of prolog |
Tärnlund, Sten-Åke |
1992 |
18 | 3 |
p. 294-295 2 p. |
artikel |
|
| 14 | The smallest upravel |
Bird, Richard S. |
1992 |
18 | 3 |
p. 281-292 12 p. |
artikel |
14 gevonden resultaten