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

[Vincent St-Amour]

I'll reschedule the talk.

Vincent


At Mon, 29 Apr 2013 10:48:10 -0400,
Mitchell Wand wrote:
> 
> [1  <text/plain; ISO-8859-7 (quoted-printable)>]
> 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
> >
> [2  <text/html; ISO-8859-7 (quoted-printable)>]
>