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

Group by: Item Type | Date | No Grouping

Number of items: 4.

Conference or workshop item

Chitil, Olaf and Davie, Thomas (2008) Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs. In: PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. ACM pp. 205-216. ISBN 978-1-60558-117-0. (doi:https://doi.org/10.1145/1389449.1389475) (Full text available)

Preview

Davie, Thomas and Chitil, Olaf (2006) Display of Functional Values for Debugging. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. Eotvos Lorand University, Budapest, Hungary pp. 326-337. ISBN 963-463-876-7. (Full text available)

Preview

Davie, Thomas and Chitil, Olaf (2006) One Right Does Make a Wrong. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. (Full text available)

Preview

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)

Preview

This list was generated on Fri May 24 03:23:11 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0