Space cost analysis using sized types

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

Authors

Pedro B. Vasconcelos

This author has not been identified. Look up 'Pedro B. Vasconcelos' in Google