Advanced Topics in Types and Programming Languages
Publisher: MIT Press
Published: 2005
Language: eng
ISBN-13: 9781423729846
Subjects: Programming languages (electronic computers)