An extension of Standard ML modules with Subtyping And Inheritance

by John Mitchell , Sigurd Meldal , Neel Madhav
Citations:58 - 8 self