loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)
Parametric Limits
Turku, Finland
July 13-July 17
ISBN: 0-7695-2192-4
Brian Dunphy, University of Illinois
Uday S. Reddy, University of Birmingham
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.
Index Terms:
Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
Citation:
Brian Dunphy, Uday S. Reddy, "Parametric Limits," lics, pp.242-251, 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.