Details
Title
Biboudis, Aggelos
Sciper ID
282127
Affiliated labs
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
Use for
Bimpoudis, Angelos
Link to search
All resources
Record appears in
Authorities > People