Encoding Monomorphic and Polymorphic Types

Research output: Contribution to Journal › Article › Academic › peer-review

24 Downloads (Pure)

Original language	English
Journal	Logical Methods in Computer Science
DOIs	https://doi.org/10.2168/LMCS-2014-1018
Publication status	Published - 2016
Externally published	Yes

Access to Document

@article{5e6cac2c368445e8ad7426adce26eedc,

title = "Encoding Monomorphic and Polymorphic Types",

author = "J.C. Blanchette and Sascha B{\"o}hme and Andrei Popescu and Nicholas Smallbone",

year = "2016",

doi = "10.2168/LMCS-2014-1018",

language = "English",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

}