[Pl-seminar] Second Time Change: 5/1: Paul Stansifer, Generalizing α-equivalence in Romeo
stamourv at ccs.neu.edu
Mon Apr 29 11:25:28 EDT 2013
Second time change: the talk will be from 12:30 to 2:00.
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.
> 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
More information about the pl-seminar