| 2009 |
|---|
| 21 | EE | S. Doaitse Swierstra,
Olaf Chitil:
Linear, bounded, functional pretty-printing.
J. Funct. Program. 19(1): 1-16 (2009) |
| 2008 |
|---|
| 20 | | 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
Springer 2008 |
| 19 | EE | Olaf Chitil,
Thomas Davie:
Comprehending finite maps for algorithmic debugging of higher-order functional programs.
PPDP 2008: 205-216 |
| 18 | EE | Olaf Chitil:
Functional Programming.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 17 | EE | Olaf Chitil,
Frank Huch:
Monadic, Prompt Lazy Assertions in Haskell.
APLAS 2007: 38-53 |
| 16 | EE | Olaf Chitil,
Yong Luo:
Structure and Properties of Traces for Functional Programs.
Electr. Notes Theor. Comput. Sci. 176(1): 39-63 (2007) |
| 2006 |
|---|
| 15 | EE | Olaf Chitil,
Frank Huch:
A Pattern Logic for Prompt Lazy Assertions in Haskell.
IFL 2006: 126-144 |
| 14 | EE | Josep Silva,
Olaf Chitil:
Combining algorithmic debugging and program slicing.
PPDP 2006: 157-166 |
| 13 | | Yong Luo,
Olaf Chitil:
Proving the correctness of algorithmic debugging for functional programs.
Trends in Functional Programming 2006: 19-34 |
| 2005 |
|---|
| 12 | EE | Olaf Chitil:
Pretty printing with lazy dequeues.
ACM Trans. Program. Lang. Syst. 27(1): 163-184 (2005) |
| 2004 |
|---|
| 11 | EE | Olaf Chitil:
Source-Based Trace Exploration.
IFL 2004: 126-141 |
| 10 | EE | Bernd Brassel,
Olaf Chitil,
Michael Hanus,
Frank Huch:
Observing Functional Logic Computations.
PADL 2004: 193-208 |
| 2003 |
|---|
| 9 | EE | Olaf Chitil,
Dan McNeill,
Colin Runciman:
Lazy Assertions.
IFL 2003: 1-19 |
| 2002 |
|---|
| 8 | EE | 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 |
| 7 | EE | Olaf Chitil,
Colin Runciman,
Malcolm Wallace:
Transforming Haskell for Tracing.
IFL 2002: 165-181 |
| 2001 |
|---|
| 6 | | Olaf Chitil:
Compositional Explanation of Types and Algorithmic Debugging of Type Errors.
ICFP 2001: 193-204 |
| 2000 |
|---|
| 5 | EE | 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 |
| 1999 |
|---|
| 4 | EE | Olaf Chitil:
Type Inference Builds a Short Cut to Deforestation.
ICFP 1999: 249-260 |
| 3 | | Olaf Chitil:
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining.
IFL 1999: 19-35 |
| 1997 |
|---|
| 2 | EE | Olaf Chitil:
Common Subexpressions Are Uncommon in Lazy Functional Languages.
Implementation of Functional Languages 1997: 53-71 |
| 1 | | Olaf Chitil:
The c-Semantics: A Comprehensive Semantics for Functional Programs.
Fundam. Inform. 31(3/4): 253-294 (1997) |
