Imperative Programming with Dependent Types (2000)

Cached

Download Links

by Hongwei Xi
Citations:47 - 8 self