Publication:

Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

Date

2018
Proceedings Paper
Simple item page Full metadata Statistics
 
dc.contributor.authorNuyts, Andreas
dc.contributor.authorDevriese, Dominique
dc.date.accessioned2021-10-26T00:16:00Z
dc.date.available2021-10-26T00:16:00Z
dc.date.embargo9999-12-31
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31431
dc.identifier.urlhttps://doi.org/10.1145/3209108.3209119
dc.source.beginpage779
dc.source.conferenceLICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
dc.source.conferencedate9/07/2018
dc.source.conferencelocationOxford UK
dc.source.endpage788
dc.title

Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
42476.pdf
Size:
913.26 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions