Skip to main content
Kent Academic Repository

Items where Author, Editor or other role is "Davie, T.A.T."

Group by: Creator's name | Item Type | Date | No Grouping
Number of items: 4.

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. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 205-216. ISBN 978-1-60558-117-0. (doi:10.1145/1389449.1389475) (KAR id:24054)
Format: PDF

Davie, Thomas, 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. . pp. 326-337. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7. (KAR id:14413)
Format: PDF

Davie, Thomas, Chitil, Olaf (2006) One Right Does Make a Wrong. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. . (KAR id:14486)
Format: PDF

Davie, Thomas, 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. . pp. 6-11. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK (KAR id:14245)
Format: PDF

This list was generated on Fri Nov 22 20:20:27 2024 GMT.