DocumentCode
3260699
Title
Parametric limits
Author
Dunphy, Brian ; Reddy, Uday S.
Author_Institution
Illinois Univ., IL, USA
fYear
2004
fDate
13-17 July 2004
Firstpage
242
Lastpage
251
Abstract
We develop a categorical model of polymorphic lambda calculi using the notion of parametric limits, which extend the notion of limits in categories to reflexive graphs of categories. We show that a number of parametric models of polymorphism can be captured in this way. We also axiomatize the structure of reflexive graphs needed for modelling parametric polymorphism based on ideas of fibrations, and show that it leads to proofs of representation results such as the initial algebra and final coalgebra properties one expects in polymorphic lambda calculi.
Keywords
lambda calculus; topology; categorical model; fibrations; final coalgebra properties; initial algebra; parametric limits; parametric models; parametric polymorphism; polymorphic lambda calculi; reflexive graphs; relational parametricity; representation proofs; Computer science; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
ISSN
1043-6871
Print_ISBN
0-7695-2192-4
Type
conf
DOI
10.1109/LICS.2004.1319618
Filename
1319618
Link To Document