.

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