cotalks.dev
Login
"Type-Driven Program Synthesis" by Nadia Polikarpova
(link)
Event:
Strange Loop 2018
Channel:
Strange Loop Conference
unsorted
todo
resolved
completed
canceled
submit