|
|
Journals in DBLP
- Nick Benton, Xavier Leroy
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:1-2 [Journal]
- Don Syme
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:3-25 [Journal]
- François Pottier
An Overview of Calphaml. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:27-52 [Journal]
- Mark R. Shinwell
Fresh O'Caml: Nominal Abstract Syntax for the Masses. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:53-77 [Journal]
- Guido Tack, Leif Kornstaedt, Gert Smolka
Generic Pickling and Minimization. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:79-103 [Journal]
- Norman Ramsey, João Dias
An Applicative Control-Flow Graph Based on Huet's Zipper. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:105-126 [Journal]
- Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
A Library for Self-Adjusting Computation. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:127-154 [Journal]
- François Pottier, Yann Régis-Gianas
Towards Efficient, Typed LR Parsers. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:155-180 [Journal]
- Norman Ramsey
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:181-209 [Journal]
- Matthew Fluet, Riccardo Pucella
Practical Datatype Specializations with Phantom Types and Recursion Schemes. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:211-237 [Journal]
- Martin Sulzmann, Kenny Zhuo Ming Lu
A Type-Safe Embedding of XDuce into ML. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:239-264 [Journal]
|
