Details
Title
Brachthäuser, Jonathan Immanuel
Sciper ID
331574
Affiliated labs
LAMP
Publications
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
Proof of Multi-Stage Programming with Generative and Analytical Macros
Representing Monads with Capabilities
Proof of Multi-Stage Programming with Generative and Analytical Macros
Representing Monads with Capabilities
Link to search
All resources
Record appears in
Authorities > People