[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