[PL-sem-jr] Dependent Types & Solvers

[Benjamin Chung]

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