The Racket Summer School of Semantics and Languages
Last Call
Imagine yourself confronted with a Mystery Programming Language and
charged with the task of figuring out its semantics. What would you do?
What if you have a formal executable semantics and want to build a
Imagine yourself confronted with a Mystery Programming Language and
charged with the task of figuring out its semantics. What would you do?
What if you have a formal executable semantics and want to build a
production language for it?
If these questions intrigue you, attend the Racket Summer
