Report copyright - Pure Iso-Type Systemsbruno/papers/pits.pdf · 1 Introduction Dependent types are gaining popularity in functional programming language design and ... employed by dependently typed
Please pass captcha verification before submit form