Showing content from https://github.com/nicolasstucki below:
Website Navigation
nicolasstucki (Nicolas Stucki) ยท GitHub
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.
- [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)
Popular repositories Loading
-
Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
Scala 55 4
-
Open source implementation of multi-sets (or bags) for Scala collection
Scala 52 7
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4