Concepedia

Daan Leijen

DL

36

Publications

2K

Citations

26

H-Index

1998

Active since

Affiliations

Microsoft (United States)(Current)

Utrecht University

University of Glasgow

University of Edinburgh

Microsoft Research (United Kingdom)

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

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisComputer EngineeringSystem SoftwareAutomated ReasoningSoftware Engineering

Publications per year

1998–2023

36

Publications

36

Domain specific embedded compilers

Daan Leijen, Erik Meijer · 1999 · 249 citations · Full text

Engineering, Foreign Function Call, Compiler Technology +20

The design of a task parallel library

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt · ACM SIGPLAN Notices · 2009 · 218 citations

Task Parallel Library, Potential Parallelism, Engineering +15

Parsec: direct style monadic parser combinators for the real world

Daan Leijen, Erik Meijer · Data Archiving and Networked Services (DANS) · 2001 · 156 citations · Full text

The design of a task parallel library

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt · 2009 · 155 citations

Task Parallel Library, Potential Parallelism, Engineering +15

Koka: Programming with Row Polymorphic Effect Types

Daan Leijen · Electronic Proceedings in Theoretical Computer Science · 2014 · 106 citations · Full text

Engineering, Type Theory, Semantics +17

Rows per page

1–5 of 36