[Pl-seminar] 5/1: Paul Stansifer, Generalizing α-equivalence in Romeo

[Vincent St-Amour]

NEU Programming Languages Seminar presents

Paul Stansifer
Northeastern University

Wednesday, 5/1
11:45-1:30
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)


Generalizing α-equivalence in Romeo

Hygiene in Scheme macros has traditionally been an informal property in
which macros generally do the "right thing" regarding names. However, in
some contexts, a stronger definition of hygiene is possible: α-equivalent
inputs ought to evaluate to α-equivalent results.

Romeo is a language that sets out to make this definition useful: Using
specifications of binding structure, it aims to ensure that α-equivalence
is respected by programs, and to provide a notion of α-equivalence that
applies to the complex binding structures characteristic of Scheme programs.