Encoding Monomorphic and Polymorphic Types
Paper i proceeding, 2013
Författare
Jasmin Christian Blanchette
Technische Universität München
Sascha Böhme
Technische Universität München
Andrei Popescu
Technische Universität München
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7795 493-507978-3-642-36741-0 (ISBN)
Ämneskategorier
Algebra och logik
Programvaruteknik
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper
DOI
10.1007/978-3-642-36742-7_34
ISBN
978-3-642-36741-0