Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 11.

Book section

Chitil, Olaf and Luo, Yong (2007) Proving the Correctness of Algorithmic Debugging for Functional Programs. In: Trends in Functional Programming. Intellect. ISBN 9781841501888. (Full text available)
[img]
Preview

Monograph

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging for Locally Defined Functions. Technical report. University of Kent, Canterbury, Canterbury (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging with Cyclic Traces of Lazy Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic debugging and trusted functions. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Replacing unevaluated parts in the traces of functional programs. Technical report. University of Kent, Canterbury, Kent, Canterbury, Kent (Full text available)
[img]
Preview

Luo, Yong (2005) A Type Theory with Partially Defined Functions. Technical report. UKC, University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

Luo, Yong (2005) New eta-reduction and Church-Rosser. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

Luo, Yong (2005) Yet Another Normalisation Proof for Martin-Lof's Logical Framework - Terms with correct arities are strongly normalising. Technical report. , University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

Conference or workshop item

Chitil, Olaf and Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. In: Mackie, Ian, ed. Electronic Notes in Theoretical Computer Science (ENTCS). ENTCS, 176. Elsevier pp. 39-63. (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2006) Replacing Unevaluated Parts in the Traces of Functional Programs. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. (Full text available)
[img]
Preview

Chitil, Olaf and Luo, Yong (2006) Towards a Theory of Tracing for Functional Programs based on Graph Rewriting. In: Mackie, Ian, ed. Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. Termgraph (Full text available)
[img]
Preview

This list was generated on Mon Apr 21 15:50:34 2014 BST.