[PL-sem-jr] another topic: GADT's
Dave Herman
dherman at ccs.neu.edu
Fri May 6 08:46:00 EDT 2005
Generalized ADT's have been getting a lot of attention in the typed FP
world lately. It would be useful if someone would give a talk on them in
PL Jr. Some relevant papers:
http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm
http://www.cs.bu.edu/~hwxi/academic/papers/popl03.pdf
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2003-1901
Here's a talk Tim Sheard gave at the Haskell Workshop about GADT's in
hist new Omega language. It requires IE to view properly, unfortunately.
http://www.cs.pdx.edu/~sheard/OmegaHaskellWkShp.htm
Dave
More information about the Pl-sem-jr
mailing list