Programming Languages Lab

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

[ Home | Events | People | Publications | Projects ]