Skip to main content
Kent Academic Repository

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

Book section

Hanna, Keith and Howells, Gareth (1994) Parallel Theorem Proving. In: Runciman, Colin and Wakeling, David, eds. Applications of Functional Programming. UCL Press, pp. 221-235. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hanna, Keith and Howells, Gareth (1994) The Veritas Proof Assistant. In: Runciman, Colin and Wakeling, David, eds. Applications of Functional Programming. UCL Press, pp. 125-204. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Chitil, Olaf and Faddegon, Maarten and Runciman, Colin (2017) A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. In: Proceedings of Implementation and Application of Functional Languages, IFL 2016. ACM ISBN 978-1-4503-4767-9. (doi:https://doi.org/10.1145/3064899.3064904) (Full text available)
[img]
Preview

Thompson, Simon and Runciman, Colin (2015) Demur: checking functional-program properties using bounded recursion. In: Sixth Workshop on Tools for Automatic Program Analysis, 08 Sep 2015, Saint-Malo, France. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]

Davie, Thomas and Chitil, Olaf (2005) Hat-Delta --- One Right Does Make a Wrong. In: Runciman, Colin, ed. Hat Day 2005: work in progress on the Hat tracing system for Haskell. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK pp. 6-11. (Full text available)
[img]
Preview

Chitil, Olaf (2005) Hat-Explore: Source-Based Trace Exploration. In: Runciman, Colin, ed. Hat Day 2005: work in progress on the Hat tracing system for Haskell. Tech. Report YCS-2005-395. University of York, UK (Full text available)
[img]
Preview

Chitil, Olaf and McNeill, Dan and Runciman, Colin (2004) Lazy Assertions. In: Trinder, Phil and Michaelson, Greg and Pena, Ricardo, eds. Implementation of Functional Languages: 15th International Workshop, IFL 2003. LNCS 3145, 3145. Springer pp. 1-19. ISBN 3-540-23727-5. (Full text available)
[img]
Preview

Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm (2003) Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: 4th Summer School in Advanced Functional Programming. 4th International School, AFP 2002. LNCS 2638. Springer pp. 59-99. ISBN 978-3-540-40132-2. E-ISBN 978-3-540-44833-4. (doi:https://doi.org/10.1007/978-3-540-44833-4_3) (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2003) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Lecture Notes in Computer Science. Implementation of Functional Languages: 14th International Workshop, IFL 2002. LNCS 2670. Springer-Verlag Berlin, Berlin pp. 165-181. ISBN 978-3-540-40190-2. E-ISBN 978-3-540-44854-9. (doi:https://doi.org/10.1007/3-540-44854-3_11) (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2002) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Draft papers of 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002. (Full text available)
[img]
Preview

Wallace, Malcolm and Chitil, Olaf and Brehm, Thorsten and Runciman, Colin (2001) Multiple-View Tracing for Haskell: a New Hat. In: 2001 ACM SIGPLAN Haskell Workshop. (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2001) Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In: Mohnen, Markus and Koopman, P., eds. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000). LNCS 2011. Springer, Aachen, Germany pp. 176-193. ISBN 3-540-41919-5. (doi:https://doi.org/10.1007/3-540-45361-X_11) (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2000) Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems. In: Mohnen, Markus and Koopman, P., eds. Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages. , Aachen, Germany pp. 47-62. (Full text available)
[img]
Preview

This list was generated on Sat May 25 22:31:47 2019 BST.