Type Inference Verified: Algorithm W in Isabelle/HOL (1997)

by Wolfgang Naraschewski , Tobias Nipkow
Citations:15 - 1 self