The Racket Summer School on Semantics and Language was held in Salt Lake
City last month. Sadly we had to turn away about half the applicants. So,
If you weren’t able to join in person, you may want to check out the
lecture notes and exercises at
The Racket Summer School of Semantics and Languages
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
2 matches
Mail list logo