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.

Conference Day
Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
SLE KeynoteSLE at Zürich 2
Chair(s): Tijs van der StormCWI & University of Groningen
08:30
90m
Talk
SLE 2016 Keynote: Redex: Lightweight Semantics EngineeringKeynote
SLE
I: Robby FindlerNorthwestern University
Link to publication Media Attached