Specification Refinement with System F, The Higher-Order Case (2000)

Cached

Download Links

by Jo Erskine Hannay
Citations:1 - 1 self