Concepedia

Author

Daan Leijen

Microsoft (United States)ORCID

Also Known As

D. Leijen, DAAN LEIJEN, Daan Leijen, Leijen, Daan

98

Publications

2.5K

Citations

27

H-Index

52

Concepts

All Affiliations

Microsoft (United States)Utrecht UniversityUniversity of GlasgowUniversity of EdinburghMicrosoft Research (United Kingdom)
DL

About

Daan Leijen is an author at Microsoft (United States) specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

24

32

1.8K

2

Language Studies

4

4

167

3

Humanities

1

1

78

4

Social Sciences

1

1

28

5

Cognitive Science

1

1

28

Daan Leijen

×

36

Publications

2K

Citations

26

H-Index

YearCitations

Domain specific embedded compilers

Daan Leijen, Erik Meijer

1999

249

The design of a task parallel library

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt

ACM SIGPLAN Notices

2009

218

Parsec: direct style monadic parser combinators for the real world

Daan Leijen, Erik Meijer

Data Archiving and Networked Services (DANS)

2001

156

The design of a task parallel library

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt

2009

155

Koka: Programming with Row Polymorphic Effect Types

Daan Leijen

Electronic Proceedings in Theoretical Computer Science

2014

106

Concurrent programming with revisions and isolation types

Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen

2010

102

Type directed compilation of row-typed algebraic effects

Daan Leijen

2016

94

Helium, for learning Haskell

Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn

2003

84

Calling hell from heaven and heaven from hell

Sigbjørn Finne, Daan Leijen, Erik Meijer,

1999

78

<i>H/Direct</i>

Sigbjørn Finne, Daan Leijen, Erik Meijer,

1998

50

Page 1