Notice détaillée
Titre
Stucki, Nicolas Alexander
Sciper ID
226421
Laboratoires affiliés
LAMP
Publications
Call-graph-based Optimizations in Scala
Dotty Phantom Types
Improving the Interoperation between Generics Translations
Proof of Multi-Stage Programming with Generative and Analytical Macros
RRB Vector: A Practical General Purpose Immutable Sequence
Report on Scala Multisets API (Bag trait)
Report on Theory of Quoted Code Patterns
Semantics-preserving inlining for metaprogramming
Truly abstract interfaces for algebraic data types: the extractor typing problem
Virtual ADTs for Portable Metaprogramming
Voir toutes les publications (11)
Dotty Phantom Types
Improving the Interoperation between Generics Translations
Proof of Multi-Stage Programming with Generative and Analytical Macros
RRB Vector: A Practical General Purpose Immutable Sequence
Report on Scala Multisets API (Bag trait)
Report on Theory of Quoted Code Patterns
Semantics-preserving inlining for metaprogramming
Truly abstract interfaces for algebraic data types: the extractor typing problem
Virtual ADTs for Portable Metaprogramming
Voir toutes les publications (11)
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People