DMCA

Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

by Joshua Dunfield , Neelakantan R. Krishnaswami
Citations:4 - 1 self