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

[Vincent St-Amour]

Slight time change, the talk will be from 1:00 to 2:30.

Vincent


At Fri, 26 Apr 2013 15:04:52 -0400,
Vincent St-Amour wrote:
> 
> 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.
> 
> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar