[PL-sem-jr] Dependent Types & Solvers

Leif Andersen 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.

~Leif Andersen


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 [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
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>



More information about the Pl-sem-jr mailing list