PLDI 2025 (series) / RPLS 2025 (series) / RPLS 2025: Real-World Programming Language Specification /
Lightweight Semantics Engineering with Redex
Matthew Flatt is a professor in the School of Computing at the University of Utah, where he works on extensible programming languages, runtime systems, and applications of functional programming. He is one of the developers of the Racket programming language. He received his PhD from Rice University in 1999.