Daan Leijen Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood: Cloud Types for Eventual Consistency. ECOOP 2012: 283-307
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv: Eventually Consistent Transactions. ESOP 2012: 67-86
2011
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Burckhardt, Daan Leijen: Semantics of Concurrent Revisions. ESOP 2011: 116-135
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt: Prettier concurrency: purely functional concurrent revisions. Haskell 2011: 83-94
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks: Lightweight monadic programming in ML. ICFP 2011: 15-27
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen: Concurrent programming with revisions and isolation types. OOPSLA 2010: 691-707
2009
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt: The design of a task parallel library. OOPSLA 2009: 227-242
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen: Flexible types: robust type inference for first-class polymorphism. POPL 2009: 66-77
2008
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen: HMF: simple type inference for first-class polymorphism. ICFP 2008: 283-294
2007
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen: A type directed translation of MLF to system F. ICFP 2007: 111-122
2005
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen, Andres Löh: Qualified types for MLF. ICFP 2005: 144-155
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen: Extensible records with scoped labels. Trends in Functional Programming 2005: 179-194
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen (Ed.): Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005. ACM 2005, isbn 1-59593-071-X
2004
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen: wxHaskell: a portable and concise GUI library for haskell. Haskell 2004: 57-68
2003
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn: Helium, for learning Haskell. Haskell 2003: 62-71
1999
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen, Erik Meijer: Domain specific embedded compilers. DSL 1999: 109-122
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones: Calling Hell From Heaven and Heaven From Hell. ICFP 1999: 114-125
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erik Meijer, Daan Leijen, James Hook: Client-Side Web Scripting with HaskellScript. PADL 1999: 196-210
1998
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daan Leijen, Erik Meijer, James Hook: Haskell as an Automation Controller. Advanced Functional Programming 1998: 268-289
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Alexandro Baldassin
[c14]
2Thomas Ball
[c15]
3Sebastian Burckhardt
[c20] [c19] [c18] [c17] [c15] [c14] [c13]
4Sigbjorn Finne
[c4] [c1]
5Manuel Fähndrich
[c20] [c19] [c17]
6Nataliya Guts
[c16]
7Bastiaan Heeren
[c6]
8Michael W. Hicks (Michael Hicks)
[c16]
9James Hook
[c3] [c2]
10Arjan van IJzendoorn
[c6]
11Simon L. Peyton Jones
[c4] [c1]
12Andres Löh
[c9]
13Erik Meijer
[c5] [c4] [c3] [c2] [c1]
14Caitlin Sadowski
[c15]
15Shmuel Sagiv (Mooly Sagiv)
[c19]
16Wolfram Schulte
[c13]
17Nikhil Swamy
[c16]
18Benjamin P. Wood
[c20]
19Jaeheon Yi
[c15]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 03:24:38 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page