All Outputs (2)

Modular and efficient top-down parsing for ambiguous left-recursive grammars (2007)
Presentation / Conference Contribution
Frost, R., Hafiz, R., & Callaghan, P. (2007, June). Modular and efficient top-down parsing for ambiguous left-recursive grammars. Presented at 10th International Conference on Parsing Technology : IWPT'07, Prague

In functional and logic programming, parsers can be built as modular executable specifications of grammars, using parser combinators and definite clause grammars respectively. These techniques are based on top-down backtracking search. Commonly used... Read More about Modular and efficient top-down parsing for ambiguous left-recursive grammars.

Object languages in a type-theoretic meta-framework (2001)
Presentation / Conference Contribution
Callaghan, P., Luo, Z., & Pang, J. (2001, June). Object languages in a type-theoretic meta-framework. Presented at Proof Transformation and Presentation and Proof Complexities Workshop : PTP'01., Siena, Italy

This paper concerns techniques for providing a convenient syntax for object languages implemented via a type-theoretic Logical Framework, and reports on work in progress. We first motivate the need for a type-theoretic logical framework. Firstly, we... Read More about Object languages in a type-theoretic meta-framework.