1 2 3 4 5
http://www.cis.upenn.edu/~dimitriv/ http://www.cis.upenn.edu/~dimitriv/presentation-for-tfp.pdf http://www.cis.upenn.edu/~dimitriv/gadt-dependent-presentation.pdf http://www.cis.upenn.edu/~dimitriv/icfp06-presentation.pdf