Olaf Chitil
Olaf Chitil
Lecturer, School of Computing, University of Kent
Verified email at kent.ac.uk - Homepage
Title
Cited by
Cited by
Year
Multiple-view tracing for Haskell: a new Hat
M Wallace, O Chitil, T Brehm, C Runciman
952001
Compositional explanation of types and algorithmic debugging of type errors
O Chitil
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
872001
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
432002
Combining algorithmic debugging and program slicing
J Silva, O Chitil
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
382006
Testing and tracing lazy functional programs using QuickCheck and Hat
K Claessen, C Runciman, O Chitil, J Hughes, M Wallace
International School on Advanced Functional Programming, 59-99, 2002
382002
Lazy assertions
O Chitil, D McNeill, C Runciman
Symposium on Implementation and Application of Functional Languages, 1-19, 2003
362003
Linear, bounded, functional pretty-printing
SD Swierstra, O Chitil
Journal of Functional Programming 19 (01), 1-16, 2009
342009
Observing functional logic computations
B Braßel, O Chitil, M Hanus, F Huch
International Symposium on Practical Aspects of Declarative Languages, 193-208, 2004
312004
Practical typed lazy contracts
O Chitil
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
272012
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
RWTH Aachen, 2000
272000
Source-based trace exploration
O Chitil
Symposium on Implementation and Application of Functional Languages, 126-141, 2004
232004
A pattern logic for prompt lazy assertions in Haskell
O Chitil, F Huch
Symposium on Implementation and Application of Functional Languages, 126-144, 2006
222006
Typeview: a tool for understanding type errors
A Simon, O Chitil, F Huch
Draft Proceedings of the 12th International Workshop on Implementation of …, 2000
222000
Structure and properties of traces for functional programs
O Chitil, Y Luo
Electronic Notes in Theoretical Computer Science 176 (1), 39-63, 2007
202007
A semantics for tracing
O Chitil
Draft Proceedings of the 13th International Workshop on Implementation of …, 2001
202001
Monadic, prompt lazy assertions in Haskell
O Chitil, F Huch
Asian Symposium on Programming Languages and Systems, 38-53, 2007
162007
The system can't perform the operation now. Try again later.
Articles 1–20