Certification of a Type Inference Tool for ML: Damas-Milner within Coq

Authors
C.Dubois,V.Menissier-Morain
Citation
C.dubois,v.menissier-morain, Certification of a Type Inference Tool for ML: Damas-Milner within Coq, Journal of automated reasoning , 23(3/4), 1999, pp. 319-346
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
3/4
Year of publication
1999
Pages
319 - 346
Database
ACNP
SICI code