|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Foundation for Space-Safe Transformations of Call-by-Need Programs |
Gustavsson, Jörgen |
1999 |
26 | C |
p. 69-86 18 p. |
artikel |
|
| 2 | Imprecise Exceptions, Co-Inductively |
Moran, Andrew |
1999 |
26 | C |
p. 122-141 20 p. |
artikel |
|
| 3 | Monadic Encapsulation of Effects: a Revised Approach |
Moggi, E. |
1999 |
26 | C |
p. 121- 1 p. |
artikel |
|
| 4 | Monads, Effects and Transformations |
Benton, Nick |
1999 |
26 | C |
p. 3-20 18 p. |
artikel |
|
| 5 | Object Closure Conversion |
Glew, Neal |
1999 |
26 | C |
p. 52-68 17 p. |
artikel |
|
| 6 | On proving syntactic properties of CPS programs |
Danvy, Olivier |
1999 |
26 | C |
p. 21-33 13 p. |
artikel |
|
| 7 | Preface |
Gordon, Andrew |
1999 |
26 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog |
Fiskio-Lasseter, John |
1999 |
26 | C |
p. 34-51 18 p. |
artikel |
|
| 9 | Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation |
Minamide, Yasuhiko |
1999 |
26 | C |
p. 105-120 16 p. |
artikel |
|
| 10 | Specifying the PLAN Network Programming Langauge |
Kakkar, Pankaj |
1999 |
26 | C |
p. 87-104 18 p. |
artikel |
10 gevonden resultaten