Tridirectional Typechecking (2004)

Cached

Download Links

by Joshua Dunfield , Frank Pfenning
Citations:40 - 7 self