|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A proof-theoretic foundation of abortive continuations |
Ariola, Zena M. |
2007 |
20 | 4 |
p. 403-429 |
artikel |
|
| 2 | A static simulation of dynamic delimited control |
Shan, Chung-chieh |
2007 |
20 | 4 |
p. 371-401 |
artikel |
|
| 3 | Axioms for control operators in the CPS hierarchy |
Kameyama, Yukiyoshi |
2007 |
20 | 4 |
p. 339-369 |
artikel |
|
| 4 | Editorial |
Danvy, Olivier |
2007 |
20 | 4 |
p. 337-338 |
artikel |
|
| 5 | Implementation and use of the PLT scheme Web server |
Krishnamurthi, Shriram |
2007 |
20 | 4 |
p. 431-460 |
artikel |
5 gevonden resultaten