Details
Title
Stucki, Nicolas Alexander
Sciper ID
226421
Affiliated labs
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
See complete list of 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
See complete list of publications (11)
Link to search
All resources
Record appears in
Authorities > People