Reusability and Dependent Types
Lead Research Organisation:
University of Strathclyde
Department Name: Computer and Information Sciences
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
People |
ORCID iD |
Neil Ghani (Principal Investigator) | |
Conor McBride (Co-Investigator) |
Publications
Dagand P
(2012)
Transporting functions across ornaments
in ACM SIGPLAN Notices
Chapman J
(2010)
The gentle art of levitation
in ACM SIGPLAN Notices
DAGAND P
(2014)
Transporting functions across ornaments
in Journal of Functional Programming
Chapman J
(2010)
The gentle art of levitation
Dagand P
(2012)
Transporting functions across ornaments
Description | We have changed out understanding of parametricity - in particular our new understanding is based upon the notion of comprehension. The associated paper is up for a best-paper award. |
Exploitation Route | Through papers |
Sectors | Digital/Communication/Information Technologies (including Software) |