|
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 | A Library for Self-Adjusting Computation |
Acar, Umut |
2006 |
148 | 2 |
p. 127-154 28 p. |
artikel |
|
| 2 | An Applicative Control-Flow Graph Based on Huet's Zipper |
Ramsey, Norman |
2006 |
148 | 2 |
p. 105-126 22 p. |
artikel |
|
| 3 | An Overview of Cαml |
Pottier, François |
2006 |
148 | 2 |
p. 27-52 26 p. |
artikel |
|
| 4 | A Type-Safe Embedding of XDuce into ML |
Sulzmann, Martin |
2006 |
148 | 2 |
p. 239-264 26 p. |
artikel |
|
| 5 | Fresh O'Caml: Nominal Abstract Syntax for the Masses |
Shinwell, Mark R. |
2006 |
148 | 2 |
p. 53-77 25 p. |
artikel |
|
| 6 | Generic Pickling and Minimization |
Tack, Guido |
2006 |
148 | 2 |
p. 79-103 25 p. |
artikel |
|
| 7 | Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge |
Syme, Don |
2006 |
148 | 2 |
p. 3-25 23 p. |
artikel |
|
| 8 | ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter |
Ramsey, Norman |
2006 |
148 | 2 |
p. 181-209 29 p. |
artikel |
|
| 9 | Practical Datatype Specializations with Phantom Types and Recursion Schemes |
Fluet, Matthew |
2006 |
148 | 2 |
p. 211-237 27 p. |
artikel |
|
| 10 | Preface |
Benton, Nick |
2006 |
148 | 2 |
p. 1-2 2 p. |
artikel |
|
| 11 | Towards Efficient, Typed LR Parsers |
Pottier, François |
2006 |
148 | 2 |
p. 155-180 26 p. |
artikel |
11 gevonden resultaten