School of Computing

Publications by Mr Thomas Davie

Publication period   (9/2005 onwards)   -   ordered by publication type and date

Conference Papers

  • Comprehending finite maps for algorithmic debugging of higher-order functional programs. Olaf Chitil and Thomas Davie. In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pages 205-216. ACM, July 2008.
  • Display of functional values for debugging. Thomas Davie and Olaf Chitil. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 326-337, Budapest, Hungary, September 2006. Eotvos Lorand University.
  • One right does make a wrong. Thomas Davie and Olaf Chitil. In Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006, April 2006.
  • Hat-delta - one right does make a wrong. Thomas Davie and Olaf Chitil. In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 6-11. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005.
  • Hat-delta: One right does make a wrong. Thomas Davie and Olaf Chitil. In Andrew Butterfield, editor, Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05, page 11. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland, September 2005.

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 19/02/2010 17:01