nicolasstucki Goto Github PK

Core contributor to Scala language design and implementation. Extensively worked on Scala 3 and Scala.js compilers and libraries. A decade and a half of JVM-languages experience. Contributed: 3'700+ commits, 500'000+ LOC, 2'000+ PRs to Scala open source projects.

Interested in programming language design, implementation and theory.

• Scala 3 (lamp/dotty)
• Scala Syntax for VSCode (scala/vscode-scala-syntax)

• [ScalaDays23] Implementing a Macro (YouTube, Slides, Code)
• [EPFL 2023] Public Ph.D. defense (YouTube, Slides)
• [EPFL 2022] Private Ph.D. defense (Slides)
• [GPCE21] Multi-Stage Programming with Generative and Analytical Macros (YouTube)
• [ScalaCon21] Scala 3 Macros (YouTube)
• [ScalaDays19] Metaprogramming in Dotty (YouTube)

• [Ph.D. EPFL 2022] Scalable Metaprogramming in Scala 3 (PDF)

• [GPCE21] Multi-Stage Programming with Generative and Analytical Macros (DOI, EPFL:Report+Proofs)
• [MPLR21] Virtual ADTs for Portable Metaprogramming (DOI)
• [Scala20] Semantics-preserving inlining for metaprogramming (DOI, EPFL)
• [Scala18] Truly abstract interfaces for algebraic data types: the extractor typing problem (DOI, EPFL)
• [GPCE18] A practical unification of multi-stage programming and macros (DOI, EPFL)
• [ICFP15] RRB vector: a practical general purpose immutable sequence (DOI, EPFL)
• [Scala13] Bridging Islands of Specialized Code using Macros and Reified Types (DOI, EPFL)