Daan Leijen

	2012
18		Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv: Eventually Consistent Transactions. ESOP 2012: 67-86
	2011
17		Sebastian Burckhardt, Daan Leijen: Semantics of Concurrent Revisions. ESOP 2011: 116-135
16		Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt: Prettier concurrency: purely functional concurrent revisions. Haskell 2011: 83-94
15		Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks: Lightweight monadic programming in ML. ICFP 2011: 15-27
14		Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball: Two for the price of one: a model for parallel and incremental computation. OOPSLA 2011: 427-444
	2010
13		Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen: Concurrent programming with revisions and isolation types. OOPSLA 2010: 691-707
	2009
12		Daan Leijen, Wolfram Schulte, Sebastian Burckhardt: The design of a task parallel library. OOPSLA 2009: 227-242
11		Daan Leijen: Flexible types: robust type inference for first-class polymorphism. POPL 2009: 66-77
	2008
10		Daan Leijen: HMF: simple type inference for first-class polymorphism. ICFP 2008: 283-294
	2007
9		Daan Leijen: A type directed translation of MLF to system F. ICFP 2007: 111-122
	2005
8		Daan Leijen: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005 ACM 2005
7		Daan Leijen, Andres Löh: Qualified types for MLF. ICFP 2005: 144-155
6		Daan Leijen: Extensible records with scoped labels. Trends in Functional Programming 2005: 179-194
	1999
5		Daan Leijen, Erik Meijer: Domain specific embedded compilers. DSL 1999: 109-122
4		Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones: Calling Hell From Heaven and Heaven From Hell. ICFP 1999: 114-125
3		Erik Meijer, Daan Leijen, James Hook: Client-Side Web Scripting with HaskellScript. PADL 1999: 196-210
	1998
2		Daan Leijen, Erik Meijer, James Hook: Haskell as an Automation Controller. Advanced Functional Programming 1998: 268-289
1		Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones: H/Direct: A Binary Foreign Language Interface for Haskell. ICFP 1998: 153-162

Coauthor Index

1	Alexandro Baldassin	[13]
2	Thomas Ball	[14]
3	Sebastian Burckhardt	[12] [13] [14] [16] [17] [18]
4	Manuel Fähndrich	[16] [18]
5	Sigbjorn Finne	[1] [4]
6	Nataliya Guts	[15]
7	Michael W. Hicks (Michael Hicks)	[15]
8	James Hook	[2] [3]
9	Simon L. Peyton Jones	[1] [4]
10	Andres Löh	[7]
11	Erik Meijer	[1] [2] [3] [4] [5]
12	Caitlin Sadowski	[14]
13	Shmuel Sagiv (Mooly Sagiv)	[18]
14	Wolfram Schulte	[12]
15	Nikhil Swamy	[15]
16	Jaeheon Yi	[14]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page