According to our database1, Olaf Chitil authored at least 31 papers between 1997 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Type generic observation of intermediate data structures for debugging lazy functional programs.
Computer Languages, Systems & Structures, 2018
Delta Debugging Type Errors with a Blackbox Compiler.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018
A Common Framework Using Expected Types for Several Type Debugging Approaches.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018
Lightweight computation tree tracing for lazy functional languages.
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.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Type Generic Observing.
Proceedings of the Trends in Functional Programming, 2014
Practical typed lazy contracts.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
A semantics for lazy assertions.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
Linear, bounded, functional pretty-printing.
J. Funct. Program., 2009
Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008.
J. Funct. Program., 2009
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Comprehending finite maps for algorithmic debugging of higher-order functional programs.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Structure and Properties of Traces for Functional Programs.
Electr. Notes Theor. Comput. Sci., 2007
Monadic, Prompt Lazy Assertions in Haskell.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
Proving the correctness of algorithmic debugging for functional programs.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006
Combining algorithmic debugging and program slicing.
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.
Proceedings of the Implementation and Application of Functional Languages, 2006
Pretty printing with lazy dequeues.
ACM Trans. Program. Lang. Syst., 2005
Observing Functional Logic Computations.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004
Source-Based Trace Exploration.
Proceedings of the Implementation and Application of Functional Languages, 2004
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003
Transforming Haskell for Tracing.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.
Proceedings of the Advanced Functional Programming, 2002
Compositional Explanation of Types and Algorithmic Debugging of Type Errors.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001
Type-inference based deforestation of functional programs.
PhD thesis, 2000
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999
Type Inference Builds a Short Cut to Deforestation.
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999
The c-Semantics: A Comprehensive Semantics for Functional Programs.
Fundam. Inform., 1997
Common Subexpressions Are Uncommon in Lazy Functional Languages.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997