Volume 148,
Number 1,
February 2006
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004)
Volume 148,
Number 2,
March 2006
Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)
- Nick Benton, Xavier Leroy:
Preface.
1-2
Electronic Edition (link) BibTeX
- Don Syme:
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.
3-25
Electronic Edition (link) BibTeX
- François Pottier:
An Overview of Calphaml.
27-52
Electronic Edition (link) BibTeX
- Mark R. Shinwell:
Fresh O'Caml: Nominal Abstract Syntax for the Masses.
53-77
Electronic Edition (link) BibTeX
- Guido Tack, Leif Kornstaedt, Gert Smolka:
Generic Pickling and Minimization.
79-103
Electronic Edition (link) BibTeX
- Norman Ramsey, João Dias:
An Applicative Control-Flow Graph Based on Huet's Zipper.
105-126
Electronic Edition (link) BibTeX
- Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
A Library for Self-Adjusting Computation.
127-154
Electronic Edition (link) BibTeX
- François Pottier, Yann Régis-Gianas:
Towards Efficient, Typed LR Parsers.
155-180
Electronic Edition (link) BibTeX
- Norman Ramsey:
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter.
181-209
Electronic Edition (link) BibTeX
- Matthew Fluet, Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes.
211-237
Electronic Edition (link) BibTeX
- Martin Sulzmann, Kenny Zhuo Ming Lu:
A Type-Safe Embedding of XDuce into ML.
239-264
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:21 2009
by Michael Ley (ley@uni-trier.de)