| Compositional explanation of types and algorithmic debugging of type errors O Chitil Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001 | 104 | 2001 |
| Multiple-view tracing for Haskell: a new Hat M Wallace, O Chitil, T Brehm, C Runciman | 97 | 2001 |
| Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs O Chitil, C Runciman, M Wallace Implementation of Functional Languages, 176-193, 2001 | 84 | 2001 |
| Typer inference builds a short cut to deforestation O Chitil ACM SIGPLAN Notices 34 (9), 249-260, 1999 | 55 | 1999 |
| Hat-Delta---One Right Does Make a Wrong T Davie, O Chitil Hat Day 2005: work in progress on the Hat tracing system for Haskell, 6-11, 2005 | 48 | 2005 |
| Transforming Haskell for tracing O Chitil, C Runciman, M Wallace Symposium on Implementation and Application of Functional Languages, 165-181, 2002 | 48 | 2002 |
| Combining algorithmic debugging and program slicing J Silva, O Chitil Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006 | 41 | 2006 |
| Testing and tracing lazy functional programs using QuickCheck and Hat K Claessen, C Runciman, O Chitil, J Hughes, M Wallace Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003 | 38 | 2003 |
| Lazy assertions O Chitil, D McNeill, C Runciman Implementation of Functional Languages: 15th International Workshop, IFL …, 2005 | 36 | 2005 |
| Linear, bounded, functional pretty-printing SD Swierstra, O Chitil Journal of Functional Programming 19 (1), 1-16, 2009 | 32 | 2009 |
| Observing functional logic computations B Braßel, O Chitil, M Hanus, F Huch Practical Aspects of Declarative Languages: 6th International Symposium …, 2004 | 32 | 2004 |
| Practical typed lazy contracts O Chitil Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 31 | 2012 |
| Towards open type functions for Haskell T Schrijvers, M Sulzmann, S Peyton Jones, M Chakravarty Implementation and Application of Functional Languages, 233-251, 2007 | 28 | 2007 |
| Type-inference based deforestation of functional programs O Chitil PQDT-UK & Ireland, 2000 | 28 | 2000 |
| Pretty printing with lazy dequeues O Chitil ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 163-184, 2005 | 26 | 2005 |
| Source-based trace exploration O Chitil Symposium on Implementation and Application of Functional Languages, 126-141, 2004 | 24 | 2004 |
| Typeview: a tool for understanding type errors A Simon, O Chitil, F Huch Draft Proceedings of the 12th International Workshop on Implementation of …, 2000 | 24 | 2000 |
| A pattern logic for prompt lazy assertions in Haskell O Chitil, F Huch Implementation and Application of Functional Languages: 18th International …, 2007 | 23 | 2007 |
| Structure and properties of traces for functional programs O Chitil, Y Luo Electronic Notes in Theoretical Computer Science 176 (1), 39-63, 2007 | 21 | 2007 |
| A semantics for tracing O Chitil Draft Proceedings of the 13th International Workshop on Implementation of …, 2001 | 21 | 2001 |
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
