In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures theâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- J Bernardy, Patrik Jansson, Ross Paterson
- ICFP
- 2010

Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in secondâ€¦Â (More)

Is this relevant?

2010

2010

- Dimitrios Vytiniotis, Stephanie Weirich
- J. Funct. Program.
- 2010

Propositions that express type equality are a frequent ingredient of modern functional programmingâ€”they can encode genericâ€¦Â (More)

Is this relevant?

2009

2009

- Georg Neis, Derek Dreyer, Andreas Rossberg
- ICFP
- 2009

Type abstraction and intensional type analysis are features seemingly at odds-type abstraction is intended to guaranteeâ€¦Â (More)

Is this relevant?

2007

2007

- Lars Birkedal, Hongseok Yang
- FoSSaCS
- 2007

Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable dataâ€¦Â (More)

Is this relevant?

2005

2005

- Geoffrey Washburn, Stephanie Weirich
- 20th Annual IEEE Symposium on Logic in Computerâ€¦
- 2005

Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such asâ€¦Â (More)

Is this relevant?

2004

2004

- Stephen Tse, Steve Zdancewic
- ICFP
- 2004

Abadi et al. introduced the <i>dependency core calculus</i> (DCC) as a unifying framework to study many important programâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Andrew M. Pitts
- Mathematical Structures in Computer Science
- 1997

Studies of the mathematical properties of impredicative polymorphic types have for the most part focused on the polymorphicâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Peter W. O'Hearn, Robert D. Tennent
- J. ACM
- 1995

We propose that the phenomenon of local state may be understood in terms of Strachey's concept of parametric (i.e., uniformâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Gordon D. Plotkin, MartÃn Abadi
- TLCA
- 1993

In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed -calculus withâ€¦Â (More)

Is this relevant?

1988

1988

- Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
- [1988] Proceedings. Third Annual Informationâ€¦
- 1988

A semantic condition necessary for the parametricity of polymorphic functions is considered. One of its instances is theâ€¦Â (More)

Is this relevant?