Notice détaillée
Titre
Biboudis, Aggelos
Sciper ID
282127
Laboratoires affiliés
LAMP
Publications
A Type-and-Effect System for Object Initialization
A Type-and-Effect System for Object Initialization
Celsius: A Model for Safe Initialization of Objects
Dotty Phantom Types
Foundations of Implicit Function Types
Report on Theory of Quoted Code Patterns
Safe Initialization of Objects
Semantics-preserving inlining for metaprogramming
A Type-and-Effect System for Object Initialization
Celsius: A Model for Safe Initialization of Objects
Dotty Phantom Types
Foundations of Implicit Function Types
Report on Theory of Quoted Code Patterns
Safe Initialization of Objects
Semantics-preserving inlining for metaprogramming
Employé pour
Bimpoudis, Angelos
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People