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

[Vincent St-Amour]

Second time change: the talk will be from 12:30 to 2:00.

Vincent


At Mon, 29 Apr 2013 10:13:42 -0400,
Vincent St-Amour wrote:
> 
> 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