Document Versions

Practical Refinement-Type Checking –Rowan Davies, Frank Pfenning — 1997
Practical Refinement-Type Checking –Rowan Davies, Frank Pfenning — 1997
Practical Refinement-Type Checking –Rowan Davies — 1997
Practical Refinement-Type Checking –Rowan Davies — 2005
Practical refinement-type checking –Rowan Davies, Frank Pfenning — 1997