Parametric limits

Research output: Contribution to conference (unpublished)Paper

Standard

Parametric limits. / Dunphy, BP; Reddy, Uday.

2004. 242-253 Paper presented at Nineteenth Annual IEEE Symposium on Logic in Computer Science, .

Research output: Contribution to conference (unpublished)Paper

Harvard

Dunphy, BP & Reddy, U 2004, 'Parametric limits', Paper presented at Nineteenth Annual IEEE Symposium on Logic in Computer Science, 1/01/04 pp. 242-253. https://doi.org/10.1109/LICS.2004.1319618

APA

Dunphy, BP., & Reddy, U. (2004). Parametric limits. 242-253. Paper presented at Nineteenth Annual IEEE Symposium on Logic in Computer Science, . https://doi.org/10.1109/LICS.2004.1319618

Vancouver

Dunphy BP, Reddy U. Parametric limits. 2004. Paper presented at Nineteenth Annual IEEE Symposium on Logic in Computer Science, . https://doi.org/10.1109/LICS.2004.1319618

Author

Dunphy, BP ; Reddy, Uday. / Parametric limits. Paper presented at Nineteenth Annual IEEE Symposium on Logic in Computer Science, .12 p.

Bibtex

@conference{3a47f7137d3f4835ae21fb0b82093929,
title = "Parametric limits",
abstract = "We develop a categorical model of polymorphic lambda calculi using a notion called parametric limits, which extend the notion of limits in categories to reflexive graphs of categories. We show that a numberof 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.",
author = "BP Dunphy and Uday Reddy",
year = "2004",
month = "1",
day = "1",
doi = "10.1109/LICS.2004.1319618",
language = "English",
pages = "242--253",
note = "Nineteenth Annual IEEE Symposium on Logic in Computer Science ; Conference date: 01-01-2004",

}

RIS

TY - CONF

T1 - Parametric limits

AU - Dunphy, BP

AU - Reddy, Uday

PY - 2004/1/1

Y1 - 2004/1/1

N2 - We develop a categorical model of polymorphic lambda calculi using a notion called parametric limits, which extend the notion of limits in categories to reflexive graphs of categories. We show that a numberof 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.

AB - We develop a categorical model of polymorphic lambda calculi using a notion called parametric limits, which extend the notion of limits in categories to reflexive graphs of categories. We show that a numberof 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.

U2 - 10.1109/LICS.2004.1319618

DO - 10.1109/LICS.2004.1319618

M3 - Paper

SP - 242

EP - 253

ER -