ztatlock

↗ HN profile [ 19.9 ms ] full profile

Karma: 6
Created: June 24, 2011 (15y ago)
Submissions: 0

Tate's POPL 2009 talk is also a great intro and companion to Willsey's POPL 2021 talk. https://www.youtube.com/watch?v=LKELTEOFY-s https://www.cs.cornell.edu/~ross/publications/eqsat/

5y ago · view thread · ↗