Notice détaillée
Titre
Brachthäuser, Jonathan Immanuel
Sciper ID
331574
Laboratoires affiliés
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
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People