The Carbon Language
My primary focus is building the Carbon programming language, which is designed to be a successor language to C++. I'm one of the project leads, and contribute heavily to both the language design and the toolchain implementation.
Accepted Language Proposals
Highlighted Talks & Presentations
Definition-Checked Generics, Part 2: The
Why & How
2024 EuroLLVM - Carbon's high-level semantic IR
2024 LLVM Dev Mtg - Generic implementation strategies in Carbon and Clang