| 2008 |
|---|
| 7 | EE | Richard A. Frost,
Rahmatullah Hafiz,
Paul Callaghan:
Parser Combinators for Ambiguous Left-Recursive Grammars.
PADL 2008: 167-181 |
| 6 | EE | Paul Callaghan:
Coercive Subtyping via Mappings of Reduction Behaviour.
Electr. Notes Theor. Comput. Sci. 196: 53-68 (2008) |
| 2005 |
|---|
| 5 | EE | Jian-Min Pang,
Paul Callaghan,
Zhaohui Luo:
LFTOP: An LF-Based Approach to Domain-Specific Reasoning.
J. Comput. Sci. Technol. 20(4): 526-535 (2005) |
| 2002 |
|---|
| 4 | | Paul Callaghan,
Zhaohui Luo,
James McKinna,
Robert Pollack:
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers
Springer 2002 |
| 2001 |
|---|
| 3 | | Paul Callaghan,
Zhaohui Luo:
An Implementation of LF with Coercive Subtyping & Universes.
J. Autom. Reasoning 27(1): 3-27 (2001) |
| 1999 |
|---|
| 2 | EE | Paul Callaghan,
Zhaohui Luo:
Implementation Techniques for Inductive Types in Plastic.
TYPES 1999: 94-113 |
| 1997 |
|---|
| 1 | | Zhaohui Luo,
Paul Callaghan:
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.
LACL 1997: 231-250 |
