Login / Signup
Daan Leijen
ORCID
Publication Activity (10 Years)
Years Active: 1998-2024
Publications (10 Years): 23
Top Topics
Functional Programming
Quantifier Elimination
Negative Effects
Electronic Documents
Top Venues
Proc. ACM Program. Lang.
MSFP
TyDe@ICFP
TFP
</>
Publications
</>