Bifibrational Functorial Semantics of Parametric Polymorphism

Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell. Bifibrational Functorial Semantics of Parametric Polymorphism. Electronic Notes in Theoretical Computer Science, 319:165-181, 2015. [doi]

Abstract

Abstract is missing.