
Publications
Selected Papers
This is only a partial list of recent publications;
see researcher's personal pages for more...
 J. Aycock. A
Brief History of JustinTime. ACM Computing
Surveys 35, 2 (June 2003), pp. 97113.
 J. Aycock, N. Horspool, J. Janousek, and B. Melichar.
Even Faster Generalized LR Parsing. Acta Informatica 37,
8 (2001), pp. 633651.
 J. Aycock and N. Horspool. Schrödinger's Token.
Software  Practice & Experience 31, 8 (2001),
pp. 803814.
 J.R.B. Cockett. Deforestation and program transformation.
Electronic Notes in Theoretical Computer Science,
Volume 44.1 (2001), pp. 88127.
 J.R.B. Cockett and R.A.G. Seely.
Finite sumproduct logic.
Theory and Applications of Categories 8, 2001, pp. 6399.
 J.R.B. Cockett, J. Koslowski, and R.A.G. Seely.
Introduction to linear bicategories.
Mathematical Structures in Computer Science 10, 2 (2000),
pp. 165203.
Theses
 X. Guo. Restrictions, Ranges, Partial Map Categories, and Fibrations. M.Sc. Thesis, 2004.
 C.A. Pastro. Σ ΠPolycategories, Additive Linear Logic, and
Process Semantics. M.Sc. Thesis, 2004.
 D. Pereira. Mamba: A Virtual Machine Framework for Python.
M.Sc. Thesis, 2003.
 M. Zeng. An Implementation of Charity. M.Sc. Thesis, 2003.
 D. Harrington. A Type System for Destructive Updates in Declarive
Programming Languages. M.Sc. Thesis, 2001.
