Proving ML Type Soundness Within Coq

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44659-1_9 ◽

2000 ◽

pp. 126-144 ◽

Cited By ~ 9

Author(s):

Catherine Dubois

Download Full-text