Follow
Olaf Chitil
Olaf Chitil
Lecturer, School of Computing, University of Kent
Verified email at kent.ac.uk - Homepage
Title
Cited by
Cited by
Year
Compositional explanation of types and algorithmic debugging of type errors
O Chitil
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
1012001
Multiple-view tracing for Haskell: a new Hat
M Wallace, O Chitil, T Brehm, C Runciman
982001
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
852001
Typer inference builds a short cut to deforestation
O Chitil
ACM SIGPLAN Notices 34 (9), 249-260, 1999
551999
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
482005
Transforming Haskell for tracing
O Chitil, C Runciman, M Wallace
Symposium on Implementation and Application of Functional Languages, 165-181, 2002
452002
Combining algorithmic debugging and program slicing
J Silva, O Chitil
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
422006
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
382003
Lazy assertions
O Chitil, D McNeill, C Runciman
Implementation of Functional Languages: 15th International Workshop, IFL …, 2005
362005
Linear, bounded, functional pretty-printing
SD Swierstra, O Chitil
Journal of Functional Programming 19 (1), 1-16, 2009
322009
Practical typed lazy contracts
O Chitil
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
312012
Observing functional logic computations
B Braßel, O Chitil, M Hanus, F Huch
Practical Aspects of Declarative Languages: 6th International Symposium …, 2004
312004
Towards open type functions for Haskell
T Schrijvers, M Sulzmann, S Peyton Jones, M Chakravarty
Implementation and Application of Functional Languages, 233-251, 2007
282007
Pretty printing with lazy dequeues
O Chitil
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 163-184, 2005
272005
Type-inference based deforestation of functional programs
O Chitil
PQDT-UK & Ireland, 2000
262000
Source-based trace exploration
O Chitil
Symposium on Implementation and Application of Functional Languages, 126-141, 2004
252004
Typeview: a tool for understanding type errors
A Simon, O Chitil, F Huch
Draft Proceedings of the 12th International Workshop on Implementation of …, 2000
242000
Structure and properties of traces for functional programs
O Chitil, Y Luo
Electronic Notes in Theoretical Computer Science 176 (1), 39-63, 2007
222007
A pattern logic for prompt lazy assertions in Haskell
O Chitil, F Huch
Implementation and Application of Functional Languages: 18th International …, 2007
222007
A semantics for tracing
O Chitil
Draft Proceedings of the 13th International Workshop on Implementation of …, 2001
212001
The system can't perform the operation now. Try again later.
Articles 1–20