Reduction semantics with evaluation contexts.
The Redex languages for describing and exploring such a semantics.
The #lang mechanism for defining languages and environments.
Connections between all of the above.
Current young PhD students who want training in a systematic approach to semantics and languages.
Senior PhD students or post-docs who are already versed in other approaches and want to expose themselves to the alternative Racket philosophy.
Senior undergraduates and master’s students who wish to prepare themselves for a PhD program.
Industrial developers looking to broaden and deepen their toolkit.
Computing professionals who want a preview of research results that will impact computing in coming years.
Faculty who wish to experience different and new approaches to teaching programming languages.
The School will run July 10-14 (Monday-Friday) at the University of Utah.
The University is located in lovely Salt Lake City, Utah, USA.
The workshop will run roughly 9am to 4pm Monday through Friday, with each day divided into four sections of about 1h15m each:
Mystery 1: discovering
Mystery 1: modeling
Mystery 2: discovering
Mystery 2: modeling
Mystery 3: discovering
Mystery 3: modeling
building your own language and IDE
#lang from Redex
Test your language
We have arranged for subsidized lodging in dorms at the University of Utah.
There is no cost for attending the workshop itself.
Funding is provided by US National Science Foundation to support participants from US institutions. This support will provide full accommodation in the dorm and reasonable food and travel allowances.
People who are not eligible for funding are also welcome.
Please express interest through this form. We will contact people directly.