Practical refinement-type checking. Thesis Proposal (1997)

by Rowan Davies
Citations:6 - 1 self