Login
From:
Semantic Domain
(Uncensored)
subscribe
New Draft Paper: Survey on Bidirectional Typechecking
https://semantic-domain.blogspot.com/2019/08/new-draft-paper-survey-on-bidirectional.html
links
backlinks
Roast topics
Find topics
Find it!
Along with J. Dunfield, I have written a new survey paper on bidirectional typechecking.
