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

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

2007 2005 2003

Number of items: 3.

2007

Chitil, Olaf and Huch, Frank (2007) A Pattern Logic for Prompt Lazy Assertions. In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds. Implementation and Application of Functional Languages. Lecture Notes in Computer Science , 4449. Springer, Germany pp. 126-144. ISBN 978-3-540-7412909 .

Preview

2005

Chitil, Olaf (2005) Pretty Printing with Partial Continuations. In: 17th International Workshop on Implementation and Application of Functional Languages, 19-21 September 2005, Dublin, Ireland.

Preview

2003

Butterfield, Andrew and Woodcock, Jim (2003) An operational semantics for Handel-C. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 80 . pp. 1-16. ISSN 1571-0661. The full text of this publication is not available from this repository.

This list was generated on Sat May 18 16:56:16 2013 BST.