Type Inference Verified: Algorithm W in Isabelle/HOL

Authors
W.Narraschewski,T.Nipkow
Citation
W.narraschewski,t.nipkow, Type Inference Verified: Algorithm W in Isabelle/HOL, Journal of automated reasoning , 23(3/4), 1999, pp. 299-318
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
3/4
Year of publication
1999
Pages
299 - 318
Database
ACNP
SICI code