Encoding monomorphic and polymorphic types
Artikel i vetenskaplig tidskrift, 2016
Författare
Jasmin Christian Blanchette
Max-Planck-Gesellschaft
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Sascha Böhme
Technische Universität München
Andrei Popescu
Middlesex University
Nicholas Smallbone
Funktionell programmering
Logical Methods in Computer Science
1860-5974 (ISSN)
Vol. 12 4 13Ämneskategorier
Algebra och logik
Språkteknologi (språkvetenskaplig databehandling)
Datavetenskap (datalogi)
DOI
10.2168/LMCS-12(4:13)2016