Levent Erkök

	2008
3		Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149
	2002
2		Levent Erkök, John Launchbury, Andrew Moran: Semantics of value recursion for Monadic Input/Output. ITA 36(2): 155-180 (2002)
	2000
1		Levent Erkök, John Launchbury: Recursive monadic bindings. ICFP 2000: 174-185

Coauthor Index

1	Lukas Bulwahn	[3]
2	Florian Haftmann	[3]
3	Alexander Krauss	[3]
4	John Launchbury	[1] [2]
5	John Matthews	[3]
6	Andrew Moran	[2]