[PL-sem-jr] another topic: GADT's

[Dave Herman]

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