Notice détaillée
Titre
Rytz, Lukas
Sciper ID
154104
Laboratoires affiliés
LAMP
Publications
A Flow-Insensitive, Modular Effect System for Purity
A Practical Effect System for Scala
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Lightweight Polymorphic Effects
Lightweight Polymorphic Effects - Proofs
Named and default arguments for polymorphic object-oriented languages
Relative Effect Declarations for Lightweight Effect-Polymorphism
A Practical Effect System for Scala
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Lightweight Polymorphic Effects
Lightweight Polymorphic Effects - Proofs
Named and default arguments for polymorphic object-oriented languages
Relative Effect Declarations for Lightweight Effect-Polymorphism
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People