Olaf Chitil

	2009
21		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		Olaf Chitil, Thomas Davie: Comprehending finite maps for algorithmic debugging of higher-order functional programs. PPDP 2008: 205-216
18		Olaf Chitil: Functional Programming. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
17		Olaf Chitil, Frank Huch: Monadic, Prompt Lazy Assertions in Haskell. APLAS 2007: 38-53
16		Olaf Chitil, Yong Luo: Structure and Properties of Traces for Functional Programs. Electr. Notes Theor. Comput. Sci. 176(1): 39-63 (2007)
	2006
15		Olaf Chitil, Frank Huch: A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL 2006: 126-144
14		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		Olaf Chitil: Pretty printing with lazy dequeues. ACM Trans. Program. Lang. Syst. 27(1): 163-184 (2005)
	2004
11		Olaf Chitil: Source-Based Trace Exploration. IFL 2004: 126-141
10		Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208
	2003
9		Olaf Chitil, Dan McNeill, Colin Runciman: Lazy Assertions. IFL 2003: 1-19
	2002
8		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		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		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		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		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)

Coauthor Index

1	Bernd Brassel (Bernd Braßel)	[10]
2	Koen Claessen	[8]
3	Thomas Davie	[19]
4	Michael Hanus	[10]
5	Zoltán Horváth	[20]
6	Frank Huch	[10] [15] [17]
7	John Hughes	[8]
8	Yong Luo	[13] [16]
9	Dan McNeill	[9]
10	Colin Runciman	[5] [7] [8] [9]
11	Josep Silva	[14]
12	S. Doaitse Swierstra	[21]
13	Malcolm Wallace	[5] [7] [8]
14	Viktória Zsók	[20]

Colors in the list of coauthors