Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 08:30 - 10:00 at Zürich 2 - SLE Keynote Chair(s): Tijs van der Storm

Redex is a programming language designed to support semantics engineers as they experiment with programming language models. To explore a model, an engineer writes down grammars, type systems, and operational semantics in a notation inspired by the programming languages literature. Redex breathes life into the model, building typing derivations, running example expressions, and using random generation to falsify claims about the model.

Tue 1 Nov

sle-2016-papers
08:30 - 10:00: SLE - SLE Keynote at Zürich 2
Chair(s): Tijs van der Storm
sle-2016-papers147798540000008:30 - 10:00
Talk
Link to publication Media Attached