Report - Refinement Types for Logical Frameworkswlovas/papers/thesis-aug09.pdf · Chapter 1 Introduction Thesis. Refinement types are a useful and practical extension to the LF logical framework.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form