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)

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, Budapest, Hungary. (KAR id:14413)

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)

Davie, Thomas, Chitil, Olaf (2005) Hat-Delta --- One Right Does Make a Wrong. In: Hat Day 2005: work in progress on the Hat tracing system for Haskell. (KAR id:14245)

This list was generated on Thu Apr 2 20:34:17 2026 BST.