[PL-sem-jr] Modules / 1ML (6/16, WVH 366, 11:00)

Benjamin Greenman types at ccs.neu.edu
Mon Jun 15 00:29:50 EDT 2015


Tomorrow we will argue that modules are the most important part of any
programming language and explore a recent translation of first-class
modules to System F-omega.

http://www.mpi-sws.org/~rossberg/1ml/
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Pl-sem-jr mailing list