| Full abstraction for functional languages with control J Laird Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 58-67, 1997 | 176 | 1997 |
| Weighted relational models of typed lambda-calculi J Laird, G Manzonetto, G McCusker, M Pagani 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 301-310, 2013 | 130 | 2013 |
| A fully abstract trace semantics for general references J Laird International Colloquium on Automata, Languages, and Programming, 667-679, 2007 | 87 | 2007 |
| A semantic analysis of control JD Laird University of Edinburgh. College of Science and Engineering. School of …, 1999 | 71 | 1999 |
| A fully abstract game semantics of local exceptions J Laird Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 105-114, 2001 | 63 | 2001 |
| A Game Semantics of the Asynchronous π-Calculus J Laird International Conference on Concurrency Theory, 51-65, 2005 | 41 | 2005 |
| A game semantics of idealized CSP J Laird Electronic Notes in Theoretical Computer Science 45, 232-257, 2001 | 40 | 2001 |
| A game semantics of local names and good variables J Laird International Conference on Foundations of Software Science and Computation …, 2004 | 38 | 2004 |
| Game semantics for higher-order concurrency J Laird International Conference on Foundations of Software Technology and …, 2006 | 37 | 2006 |
| A categorical semantics of higher order store J Laird Electronic notes in Theoretical Computer Science 69, 209-226, 2003 | 37 | 2003 |
| A game semantics of names and pointers J Laird Annals of Pure and Applied Logic 151 (2-3), 151-169, 2008 | 30 | 2008 |
| Constructing differential categories and deconstructing categories of games J Laird, G Manzonetto, G McCusker Information and Computation 222, 247-264, 2013 | 28 | 2013 |
| Locally boolean domains J Laird Theoretical Computer Science 342 (1), 132-148, 2005 | 25 | 2005 |
| Game semantics for a polymorphic programming language J Laird Journal of the ACM (JACM) 60 (4), 1-27, 2013 | 24 | 2013 |
| Exceptions, continuations and macro-expressiveness J Laird Programming Languages and Systems: 11th European Symposium on Programming …, 2002 | 22 | 2002 |
| Game semantics and linear CPS interpretation J Laird Theoretical computer science 333 (1-2), 199-224, 2005 | 20 | 2005 |
| Bistability: an extensional characterization of sequentiality J Laird Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003 | 19 | 2003 |
| A game semantics of linearly used continuations J Laird Foundations of Software Science and Computation Structures: 6th …, 2003 | 18 | 2003 |
| Bidomains and full abstraction for countable nondeterminism J Laird International Conference on Foundations of Software Science and Computation …, 2006 | 17 | 2006 |
| A fully abstract bidomain model of unary FPC J Laird Typed Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003 | 17 | 2003 |
