Space cost analysis using sized types

Pedro B. Vasconcelos. Space cost analysis using sized types. PhD thesis, University of St Andrews, UK, 2008. [doi]

Abstract

Abstract is missing.