Return to search

Space cost analysis using sized types /

Thesis (Ph.D.) - University of St Andrews, October 2008.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/318619587
Date January 2008
CreatorsVasconcelos, Pedro Baltazar.
PublisherSt Andrews,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to full text of thesis

Page generated in 0.0024 seconds