[PL-sem-jr] PL Jr: Multi-language semantics

[Phillip Mates]

At PL Jr this week (12pm Thursday) I'll be talking about multi-language
semantics and how they are useful in proving type safety and equivalences
in the presence of interoperable languages.

For the curious, I plan to cover material from Matthews and Findler
POPL 07<http://www.eecs.northwestern.edu/~robby/pubs/papers/popl2007-mf-color.pdf>
and
Ahmed and Blume ICFP 11 <http://www.ccs.neu.edu/home/amal/papers/epc.pdf>

Hope to see you there,

-- Phillip
-------------- next part --------------
HTML attachment scrubbed and removed