Type Inference Verified: Algorithm W in Isabelle/HOL
Journal of Automated Reasoning
Certification of a Type Inference Tool for ML: Damas–Milner within Coq
Journal of Automated Reasoning
Formalization and verification of a mail server in Coq
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |