[PL-sem-jr] Dependent Types & Solvers
leif at leifandersen.net
Wed Dec 16 15:55:18 EST 2015
Just a reminder everyone, the talk will be in WVH 366 at 4:45.
On Wed, Dec 16, 2015 at 3:54 PM, Benjamin Chung <ckfinite at gmail.com> wrote:
> I'll mostly be talking about bits of ATTAPL Ch. 2 and the papers  and 
> today. The focus of my talk will be on how dependent type systems handle
> equality in practice and how that is changing.
>  http://cseweb.ucsd.edu/~rchugh/research/pldi10-fine.pdf
>  http://www.seas.upenn.edu/~sweirich/papers/popl15-congruence.pdf
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
More information about the Pl-sem-jr