Picture of smart phone in human hand

World leading smartphone and mobile technology research at Strathclyde...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by University of Strathclyde researchers, including by Strathclyde researchers from the Department of Computer & Information Sciences involved in researching exciting new applications for mobile and smartphone technology. But the transformative application of mobile technologies is also the focus of research within disciplines as diverse as Electronic & Electrical Engineering, Marketing, Human Resource Management and Biomedical Enginering, among others.

Explore Strathclyde's Open Access research on smartphone technology now...

Parametric polymorphism - universally

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, pp. 81-92. ISBN 978-3-662-47708-3

[img]
Preview
Text (Ghani-etal-WoLLIC-2015-Parametric-polymorphism-universally)
Ghani_etal_WoLLIC_2015_Parametric_polymorphism_universally.pdf - Accepted Author Manuscript

Download (350kB) | Preview

Abstract

In the 1980s, John Reynolds postulated that a parametrically polymorphic function is an ad-hoc polymorphic function satisfying a uniformity principle. This allowed him to prove that his set-theoretic semantics has a relational lifting which satisfies the Identity Extension Lemma and the Abstraction Theorem. However, his definition (and subsequent variants) have only been given for specific models. In contrast, we give a model-independent axiomatic treatment by characterising Reynolds' definition via a universal property, and show that the above results follow from this universal property in the axiomatic setting.