Type Inference with Structural Subtyping: A faithful formalization of an efficient constraint solver (2003)

by Vincent Simonet
Citations:17 - 4 self