Olaf Chitil

According to our database, Olaf Chitil authored at least 34 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Refining the Delta Debugging of Type Errors.

Joanna Sharrad, Olaf Chitil

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021

2020

Scaling Up Delta Debugging of Type Errors - Category: Research.

Joanna Sharrad, Olaf Chitil

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2019

Type debugging with counter-factual type error messages using an existing type checker.

Kanae Tsushima, Olaf Chitil, Joanna Sharrad

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

Type generic observation of intermediate data structures for debugging lazy functional programs.

Maarten Faddegon, Olaf Chitil

Comput. Lang. Syst. Struct., 2018

Delta Debugging Type Errors with a Blackbox Compiler.

Joanna Sharrad, Olaf Chitil, Meng Wang

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

A Common Framework Using Expected Types for Several Type Debugging Approaches.

Kanae Tsushima, Olaf Chitil

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2016

Lightweight computation tree tracing for lazy functional languages.

Maarten Faddegon, Olaf Chitil

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs.

Olaf Chitil, Maarten Faddegon, Colin Runciman

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack.

Maarten Faddegon, Olaf Chitil

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Type Generic Observing.

Maarten Faddegon, Olaf Chitil

Proceedings of the Trends in Functional Programming, 2014

2012

Practical typed lazy contracts.

Olaf Chitil

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

A semantics for lazy assertions.

Olaf Chitil

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2009

Linear, bounded, functional pretty-printing.

S. Doaitse Swierstra, Olaf Chitil

J. Funct. Program., 2009

<i>Essentials of Programming Languages (third edition)</i> by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008.

Olaf Chitil

J. Funct. Program., 2009

2008

Functional Programming.

Olaf Chitil

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Comprehending finite maps for algorithmic debugging of higher-order functional programs.

Olaf Chitil, Thomas Davie

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007

Monadic, Prompt Lazy Assertions in Haskell.

Olaf Chitil, Frank Huch

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Structure and Properties of Traces for Functional Programs.

Olaf Chitil, Yong Luo

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

Proving the correctness of algorithmic debugging for functional programs.

Yong Luo, Olaf Chitil

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Combining algorithmic debugging and program slicing.

Josep Silva, Olaf Chitil

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Pattern Logic for Prompt Lazy Assertions in Haskell.

Olaf Chitil, Frank Huch

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Pretty printing with lazy dequeues.

Olaf Chitil

ACM Trans. Program. Lang. Syst., 2005

2004

Observing Functional Logic Computations.

Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Source-Based Trace Exploration.

Olaf Chitil

Proceedings of the Implementation and Application of Functional Languages, 2004

2003

Lazy Assertions.

Olaf Chitil, Dan McNeill, Colin Runciman

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

Transforming Haskell for Tracing.

Olaf Chitil, Colin Runciman, Malcolm Wallace

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.

Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace

Proceedings of the Advanced Functional Programming, 2002

2001

Compositional Explanation of Types and Algorithmic Debugging of Type Errors.

Olaf Chitil

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

Type-inference based deforestation of functional programs.

Olaf Chitil

PhD thesis, 2000

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.

Olaf Chitil, Colin Runciman, Malcolm Wallace

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining.

Olaf Chitil

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Type Inference Builds a Short Cut to Deforestation.

Olaf Chitil

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1997

The c-Semantics: A Comprehensive Semantics for Functional Programs.

Olaf Chitil

Fundam. Informaticae, 1997

Common Subexpressions Are Uncommon in Lazy Functional Languages.

Olaf Chitil

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997