Parametric Polymorphism - Universally
Attributed to:
Logical Relations for Program Verification
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-662-47709-0_7
Publication URI: http://dx.doi.org/10.1007/978-3-662-47709-0_7
Type: Book Chapter
Book Title: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (2015)
Page Reference: 81-92
ISBN: 978-3-662-47708-3