Details
Title
Rytz, Lukas
Sciper ID
154104
Affiliated labs
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
Link to search
All resources
Record appears in
Authorities > People