From: Eugene Kirpichov <[email protected]> Date: Sun, 17 May 2009 23:10:12 +0400
> Is there any research on applying free theorems / parametricity to > type systems more complex than System F; namely, Fomega, or calculus > of constructions and alike? You may be interested in this: "The Theory of Parametricity in Lambda Cube" by Takeuti Izumi http://www.m.is.sci.toho-u.ac.jp/~takeuti/abs-e.html#cube -- Masahiro Sakai _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
