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 Just-in-Time. ACM Computing Surveys 35, 2 (June 2003), pp. 97-113.
• J. Aycock, N. Horspool, J. Janousek, and B. Melichar. Even Faster Generalized LR Parsing. Acta Informatica 37, 8 (2001), pp. 633-651.
• J. Aycock and N. Horspool. Schrödinger's Token. Software -- Practice & Experience 31, 8 (2001), pp. 803-814.
• J.R.B. Cockett. Deforestation and program transformation. Electronic Notes in Theoretical Computer Science, Volume 44.1 (2001), pp. 88-127.
• J.R.B. Cockett and R.A.G. Seely. Finite sum-product logic. Theory and Applications of Categories 8, 2001, pp. 63-99.
• J.R.B. Cockett, J. Koslowski, and R.A.G. Seely. Introduction to linear bicategories. Mathematical Structures in Computer Science 10, 2 (2000), pp. 165-203.

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.