default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOlaf Chitil
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c27]Joanna Sharrad, Olaf Chitil:
Refining the Delta Debugging of Type Errors. IFL 2021: 10-19- 2020
- [c26]Joanna Sharrad
, Olaf Chitil:
Scaling Up Delta Debugging of Type Errors - Category: Research. TFP 2020: 71-93 - [e4]Olaf Chitil:
IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020. ACM 2020, ISBN 978-1-4503-8963-1 [contents]
2010 – 2019
- 2019
- [c25]Kanae Tsushima, Olaf Chitil, Joanna Sharrad:
Type debugging with counter-factual type error messages using an existing type checker. IFL 2019: 7:1-7:12 - 2018
- [j5]Maarten Faddegon, Olaf Chitil:
Type generic observation of intermediate data structures for debugging lazy functional programs. Comput. Lang. Syst. Struct. 52: 92-110 (2018) - [c24]Kanae Tsushima, Olaf Chitil:
A Common Framework Using Expected Types for Several Type Debugging Approaches. FLOPS 2018: 230-246 - [c23]Joanna Sharrad, Olaf Chitil, Meng Wang:
Delta Debugging Type Errors with a Blackbox Compiler. IFL 2018: 13-24 - 2016
- [c22]Olaf Chitil, Maarten Faddegon, Colin Runciman:
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. IFL 2016: 10:1-10:14 - [c21]Maarten Faddegon, Olaf Chitil:
Lightweight computation tree tracing for lazy functional languages. PLDI 2016: 114-128 - 2015
- [c20]Maarten Faddegon, Olaf Chitil:
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack. PLDI 2015: 33-42 - 2014
- [c19]Maarten Faddegon, Olaf Chitil:
Type Generic Observing. Trends in Functional Programming 2014: 84-103 - [e3]Olaf Chitil, Andy King, Olivier Danvy:
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. ACM 2014, ISBN 978-1-4503-2947-7 [contents] - 2012
- [c18]Olaf Chitil:
Practical typed lazy contracts. ICFP 2012: 67-76 - 2011
- [c17]Olaf Chitil:
A semantics for lazy assertions. PEPM 2011: 141-150 - [e2]Sven-Bodo Scholz, Olaf Chitil:
Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5836, Springer 2011, ISBN 978-3-642-24451-3 [contents]
2000 – 2009
- 2009
- [j4]S. Doaitse Swierstra, Olaf Chitil:
Linear, bounded, functional pretty-printing. J. Funct. Program. 19(1): 1-16 (2009) - [j3]Olaf Chitil:
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. 19(6): 723-725 (2009) - 2008
- [c16]Olaf Chitil, Thomas Davie:
Comprehending finite maps for algorithmic debugging of higher-order functional programs. PPDP 2008: 205-216 - [p1]Olaf Chitil:
Functional Programming. Wiley Encyclopedia of Computer Science and Engineering 2008 - [e1]Olaf Chitil, Zoltán Horváth, Viktória Zsók:
Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5083, Springer 2008, ISBN 978-3-540-85372-5 [contents] - 2007
- [c15]Olaf Chitil, Frank Huch:
Monadic, Prompt Lazy Assertions in Haskell. APLAS 2007: 38-53 - 2006
- [c14]Olaf Chitil, Frank Huch:
A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL 2006: 126-144 - [c13]Josep Silva, Olaf Chitil:
Combining algorithmic debugging and program slicing. PPDP 2006: 157-166 - [c12]Yong Luo, Olaf Chitil:
Proving the correctness of algorithmic debugging for functional programs. Trends in Functional Programming 2006: 19-34 - [c11]Olaf Chitil, Yong Luo:
Structure and Properties of Traces for Functional Programs. TERMGRAPH@ETAPS 2006: 39-63 - 2005
- [j2]Olaf Chitil:
Pretty printing with lazy dequeues. ACM Trans. Program. Lang. Syst. 27(1): 163-184 (2005) - 2004
- [c10]Olaf Chitil:
Source-Based Trace Exploration. IFL 2004: 126-141 - [c9]Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch:
Observing Functional Logic Computations. PADL 2004: 193-208 - 2003
- [c8]Olaf Chitil, Dan McNeill, Colin Runciman:
Lazy Assertions. IFL 2003: 1-19 - 2002
- [c7]Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace:
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming 2002: 59-99 - [c6]Olaf Chitil, Colin Runciman, Malcolm Wallace:
Transforming Haskell for Tracing. IFL 2002: 165-181 - 2001
- [c5]Olaf Chitil:
Compositional Explanation of Types and Algorithmic Debugging of Type Errors. ICFP 2001: 193-204 - 2000
- [b1]Olaf Chitil:
Type-inference based deforestation of functional programs. RWTH Aachen University, Germany, 2000, pp. 1-155 - [c4]Olaf Chitil, Colin Runciman, Malcolm Wallace:
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. IFL 2000: 176-193
1990 – 1999
- 1999
- [c3]Olaf Chitil:
Type Inference Builds a Short Cut to Deforestation. ICFP 1999: 249-260 - [c2]Olaf Chitil:
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. IFL 1999: 19-35 - 1997
- [j1]Olaf Chitil:
The c-Semantics: A Comprehensive Semantics for Functional Programs. Fundam. Informaticae 31(3/4): 253-294 (1997) - [c1]Olaf Chitil:
Common Subexpressions Are Uncommon in Lazy Functional Languages. Implementation of Functional Languages 1997: 53-71
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
