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

Article

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)

Conference or workshop item

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 . (Full text available)
[img]
Preview

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. (Full text available)
[img]
Preview

Butterfield, Andrew and Woodcock, Jim (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. (The full text of this publication is not available from this repository)

This list was generated on Wed Jul 30 14:14:43 2014 BST.