[PL-sem-jr] PL Jr - Thursday, February 14

Erik Silkensen ejs at ccs.neu.edu
Wed Feb 13 00:21:31 EST 2013

Next message: [PL-sem-jr] Monads, monads, monads!
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,

Just a reminder that the paper for this week's PL Jr is

Contracts Made Manifest (POPL '10)
by Greenberg, Pierce, and Weirich


-- Erik

Next message: [PL-sem-jr] Monads, monads, monads!
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list