Volume 16,
Number 1,
January 2006
Volume 16,
Number 2,
March 2006
Volume 16,
Number 3,
May 2006
- Shriram Krishnamurthi:
Educational Pearl: Automata via macros.
253-267
Electronic Edition (link) BibTeX
- Dariusz Biernacki, Olivier Danvy:
Theoretical Pearl: A simple proof of a folklore theorem about delimited control.
269-280
Electronic Edition (link) BibTeX
- Jeremy Gibbons, David Lester, Richard S. Bird:
Functional Pearl: Enumerating the rationals.
281-291
Electronic Edition (link) BibTeX
- Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein:
Gencel: a program generator for correct spreadsheets.
293-325
Electronic Edition (link) BibTeX
- Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann:
Consistency of the theory of contexts.
327-372
Electronic Edition (link) BibTeX
Volume 16,
Number 4-5,
July-September 2006
Volume 16,
Number 6,
November 2006
Copyright © Sun May 17 00:09:25 2009
by Michael Ley (ley@uni-trier.de)