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.

Publications

10 25 50
publication icon
Dagand P (2012) Transporting functions across ornaments in ACM SIGPLAN Notices

publication icon
Dagand P (2012) Transporting functions across ornaments

publication icon
DAGAND P (2014) Transporting functions across ornaments in Journal of Functional Programming

publication icon
Chapman J (2010) The gentle art of levitation

publication icon
Chapman J (2010) The gentle art of levitation in ACM SIGPLAN Notices

 
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)