Common Subexpressions Are Uncommon in Lazy Functional Languages. - Olaf Chitil (Implementation of Functional Languages, 1997)

The c-Semantics: A Comprehensive Semantics for Functional Programs. - Olaf Chitil (Fundam. Informaticae, 1997)

Type Inference Builds a Short Cut to Deforestation. - Olaf Chitil (ICFP, 1999)

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. - Olaf Chitil (IFL, 1999)

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. - Olaf Chitil; Colin Runciman; Malcolm Wallace (IFL, 2000)

Type-inference based deforestation of functional programs. - Olaf Chitil (2000)

Compositional Explanation of Types and Algorithmic Debugging of Type Errors. - Olaf Chitil (ICFP, 2001)

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. - Koen Claessen; Colin Runciman; Olaf Chitil; John Hughes 001; Malcolm Wallace (Advanced Functional Programming, 2002)

Transforming Haskell for Tracing. - Olaf Chitil; Colin Runciman; Malcolm Wallace (IFL, 2002)

Lazy Assertions. - Olaf Chitil; Dan McNeill; Colin Runciman (IFL, 2003)

Source-Based Trace Exploration. - Olaf Chitil (IFL, 2004)

Observing Functional Logic Computations. - Bernd Brassel; Olaf Chitil; Michael Hanus; Frank Huch (PADL, 2004)

Pretty printing with lazy dequeues. - Olaf Chitil (ACM Trans. Program. Lang. Syst., 2005)

A Pattern Logic for Prompt Lazy Assertions in Haskell. - Olaf Chitil; Frank Huch (IFL, 2006)

Combining algorithmic debugging and program slicing. - Josep Silva; Olaf Chitil (PPDP, 2006)

Proving the correctness of algorithmic debugging for functional programs. - Yong Luo; Olaf Chitil (Trends in Functional Programming, 2006)

Structure and Properties of Traces for Functional Programs. - Olaf Chitil; Yong Luo (TERMGRAPH@ETAPS, 2006)

Monadic, Prompt Lazy Assertions in Haskell. - Olaf Chitil; Frank Huch (APLAS, 2007)

Comprehending finite maps for algorithmic debugging of higher-order functional programs. - Olaf Chitil; Thomas Davie (PPDP, 2008)

Functional Programming. - Olaf Chitil (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008. - Olaf Chitil (J. Funct. Program., 2009)

Linear, bounded, functional pretty-printing. - S. Doaitse Swierstra; Olaf Chitil (J. Funct. Program., 2009)

A semantics for lazy assertions. - Olaf Chitil (PEPM, 2011)

Practical typed lazy contracts. - Olaf Chitil (ICFP, 2012)

Type Generic Observing. - Maarten Faddegon; Olaf Chitil (Trends in Functional Programming, 2014)

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack. - Maarten Faddegon; Olaf Chitil (PLDI, 2015)

A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. - Olaf Chitil; Maarten Faddegon; Colin Runciman (IFL, 2016)

Lightweight computation tree tracing for lazy functional languages. - Maarten Faddegon; Olaf Chitil (PLDI, 2016)

A Common Framework Using Expected Types for Several Type Debugging Approaches. - Kanae Tsushima; Olaf Chitil (FLOPS, 2018)

Delta Debugging Type Errors with a Blackbox Compiler. - Joanna Sharrad; Olaf Chitil; Meng Wang 002 (IFL, 2018)

Type generic observation of intermediate data structures for debugging lazy functional programs. - Maarten Faddegon; Olaf Chitil (Comput. Lang. Syst. Struct., 2018)

Type debugging with counter-factual type error messages using an existing type checker. - Kanae Tsushima; Olaf Chitil; Joanna Sharrad (IFL, 2019)

Scaling Up Delta Debugging of Type Errors - Category: Research. - Joanna Sharrad; Olaf Chitil (TFP, 2020)

Refining the Delta Debugging of Type Errors. - Joanna Sharrad; Olaf Chitil (IFL, 2021)