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

[Mitchell Wand]

Meh!  This conflicts with the CCIS Graduation Reception, which starts at 2.


On Mon, Apr 29, 2013 at 10:13 AM, Vincent St-Amour <stamourv at ccs.neu.edu>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
>
> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar
>
-------------- next part --------------
HTML attachment scrubbed and removed