[PRL] Fwd: [MIT-PL] TALK:Tuesday 11-13-12 PL/SE Seminar: HALO: Haskell to Logic through Denotational Semantics

David Van Horn dvanhorn at ccs.neu.edu
Mon Nov 5 18:15:39 EST 2012


On 11/5/12 6:11 PM, Matthias Felleisen wrote:
>
> Carl's defense conflicts with this talk.

Oh bummer -- I'll be out of town, but maybe someone wants to look into 
bringing Dimitrios to NEU for a talk.  Sam and I got a brief look at 
this work at ICFP and it really is worth hearing more about.

David




More information about the PRL mailing list