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: 3.

Book section

Benoy, Florence and King, Andy (1996) Inferring Argument Size Relationships with CLP(R). In: Gallagher, John, ed. Logic Programming Synthesis and Transformation. Lecture Notes in Computer Science, 1207 . Springer-Verlag, pp. 204-223. ISBN 3-540-62718-9 . (Full text available)
[img]
Preview

Martin, Jon and King, Andy (1996) Typed Norms for Typed Logic Programs. In: Gallagher, John, ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1207 . Springer-Verlag, pp. 224-238. ISBN 3-540-62718-9 . (Full text available)
[img]
Preview

Conference or workshop item

Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: PEPM'10: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. (The full text of this publication is not available from this repository)

This list was generated on Fri Aug 1 12:56:44 2014 BST.