Amanote Research
Register
Sign In
Tridirectional Typechecking
doi 10.1145/964001.964025
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
Joshua Dunfield
Frank Pfenning
Publisher
ACM Press