A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong (1998)

by Ana Bove
Citations:3 - 0 self