BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Czech Republic
1 × France
1 × Japan
1 × Portugal
1 × Switzerland
2 × Estonia
2 × Germany
7 × USA
Collaborated with:
∅ S.Burckhardt E.Meijer M.Fähndrich J.Hook N.Swamy A.Löh S.Finne S.L.P.Jones T.Ball A.Baldassin W.Schulte B.Heeren A.v.IJzendoorn J.Protzenko P.d.Halleux B.P.Wood M.Sagiv N.Guts M.Hicks C.Sadowski J.Yi
Talks about:
type (9) haskel (5) concurr (4) direct (3) revis (3) web (3) polymorph (2) parallel (2) program (2) librari (2)

Person: Daan Leijen

DBLP DBLP: Leijen:Daan

Facilitated 1 volumes:

Haskell 2005Ed

Contributed to:

DocEng 20152015
ECOOP 20152015
PASTE 20132013
ECOOP 20122012
ESOP 20122012
ESOP 20112011
ICFP 20112011
OOPSLA 20112011
OOPSLA 20102010
OOPSLA 20092009
POPL 20092009
ICFP 20082008
ICFP 20072007
ICFP 20052005
ICFP 19991999
PADL 19991999
AFP 19981998
ICFP 19981998
Haskell 20032003
Haskell 20042004
Haskell 20112011
POPL 20172017

Wrote 22 papers:

DocEng-2015-Leijen #documentation #named #web
Madoko: Scholarly Documents for the Web (DL), pp. 129–132.
ECOOP-2015-BurckhardtLPF #abstraction #protocol #robust #sequence
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.
PASTE-2013-BallHSL #interactive #web
Increasing human-tool interaction via the web (TB, PdH, NS, DL), pp. 49–52.
ECOOP-2012-BurckhardtFLW #consistency
Cloud Types for Eventual Consistency (SB, MF, DL, BPW), pp. 283–307.
ESOP-2012-BurckhardtLFS #consistency #transaction
Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.
ESOP-2011-BurckhardtL #concurrent #semantics
Semantics of Concurrent Revisions (SB, DL), pp. 116–135.
ICFP-2011-SwamyGLH #lightweight #ml #monad #programming
Lightweight monadic programming in ML (NS, NG, DL, MH), pp. 15–27.
OOPSLA-2011-BurckhardtLSYB #incremental #parallel
Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
OOPSLA-2010-BurckhardtBL #concurrent #programming
Concurrent programming with revisions and isolation types (SB, AB, DL), pp. 691–707.
OOPSLA-2009-LeijenSB #design #library #parallel
The design of a task parallel library (DL, WS, SB), pp. 227–242.
POPL-2009-Leijen #flexibility #morphism #polymorphism #robust #type inference
Flexible types: robust type inference for first-class polymorphism (DL), pp. 66–77.
ICFP-2008-Leijen #morphism #named #polymorphism #type inference
HMF: simple type inference for first-class polymorphism (DL), pp. 283–294.
ICFP-2007-Leijen #system f
A type directed translation of MLF to system F (DL), pp. 111–122.
ICFP-2005-LeijenL
Qualified types for MLF (DL, AL), pp. 144–155.
ICFP-1999-FinneLMJ
Calling Hell From Heaven and Heaven From Hell (SF, DL, EM, SLPJ), pp. 114–125.
PADL-1999-MeijerLH #haskell #web
Client-Side Web Scripting with HaskellScript (EM, DL, JH), pp. 196–210.
AFP-1998-LeijenMH98 #automation #haskell
Haskell as an Automation Controller (DL, EM, JH), pp. 268–289.
ICFP-1998-FinneLMJ #haskell #interface #named
H/Direct: A Binary Foreign Language Interface for Haskell (SF, DL, EM, SLPJ), pp. 153–162.
Haskell-2003-HeerenLI #haskell #learning
Helium, for learning Haskell (BH, DL, AvI), pp. 62–71.
Haskell-2004-Leijen #haskell #library #named #user interface
wxHaskell: a portable and concise GUI library for haskell (DL), pp. 57–68.
Haskell-2011-LeijenFB #concurrent #functional
Prettier concurrency: purely functional concurrent revisions (DL, MF, SB), pp. 83–94.
POPL-2017-Leijen #algebra #compilation
Type directed compilation of row-typed algebraic effects (DL), pp. 486–499.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.