Olaf Chitil

According to our database1, Olaf Chitil authored at least 31 papers between 1997 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2016
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

2015
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

2014
Type Generic Observing.
Proceedings of the Trends in Functional Programming, 2014

2012
Practical typed lazy contracts.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011
A semantics for lazy assertions.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2009
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

2008
Functional Programming.
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

2007
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

2006
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

2005
Pretty printing with lazy dequeues.
ACM Trans. Program. Lang. Syst., 2005

2004
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

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

2002
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

2001
Compositional Explanation of Types and Algorithmic Debugging of Type Errors.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000
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

1999
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

1997
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


  Loading...