[PL-sem-jr] Dependent Types & Solvers

Benjamin Chung ckfinite at gmail.com
Wed Dec 16 15:54:29 EST 2015

I'll mostly be talking about bits of ATTAPL Ch. 2 and the papers [1] and
[2] today. The focus of my talk will be on how dependent type systems
handle equality in practice and how that is changing.

[1] http://cseweb.ucsd.edu/~rchugh/research/pldi10-fine.pdf
[2] http://www.seas.upenn.edu/~sweirich/papers/popl15-congruence.pdf
-------------- next part --------------
HTML attachment scrubbed and removed

More information about the Pl-sem-jr mailing list