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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00: SLE - SLE Keynote at Zürich 2
Chair(s): Tijs van der StormCWI & University of Groningen
sle-2016-papers08:30 - 10:00
Robby FindlerNorthwestern University
Link to publication Media Attached