PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
PLDI 2025 (series) / RPLS 2025 (series) / RPLS 2025: Real-World Programming Language Specification /

Lightweight Semantics Engineering with Redex

RPLS 2025 RPLS: Real-World Programming Language Specification
Tue 17 Jun 2025 09:40 - 10:05 at Cosmos - Session 1
(2-demo.rkt)2KiB
(2 Matthew Flatt.pdf)1.30MiB
(2-channel.rkt)1KiB

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.

Tue 17 Jun

Displayed time zone: Seoul change

09:00 - 10:10
Session 1RPLS at Cosmos

K and Redex

09:15
25m
Talk
Programming Languages Must Have Formal Semantics. Period.
RPLS
Xiaohong Chen University of Illinois at Urbana-Champaign
File Attached
09:40
25m
Talk
Lightweight Semantics Engineering with Redex
RPLS
Matthew Flatt University of Utah
File Attached
Matthew Flatt

Matthew Flatt

University of Utah