Highly Influenced

10 Excerpts

@inproceedings{Atkey2013AbstractionAI, title={Abstraction and invariance for algebraically indexed types}, author={Robert Atkey and Patricia Johann and Andrew Kennedy}, booktitle={POPL}, year={2013} }

- Published in POPL 2013
DOI:10.1145/2429069.2429082

Reynolds' relational parametricity provides a powerful way to reason about programs in terms of invariance under changes of data representation. A dazzling array of applications of Reynolds' theory exists, exploiting invariance to yield "free theorems", non-inhabitation results, and encodings of algebraic datatypes. Outside computer science, invariance is a common theme running through many areas of mathematics and physics. For example, the area of a triangle is unaltered by rotation or… CONTINUE READING

SHOWING 1-5 OF 5 CITATIONS

Highly Influenced

10 Excerpts

Highly Influenced

3 Excerpts

1 Excerpt

1 Excerpt

1 Excerpt

SHOWING 1-8 OF 8 REFERENCES

Highly Influential

4 Excerpts

Highly Influential

5 Excerpts

Highly Influential

9 Excerpts

Highly Influential

7 Excerpts

Highly Influential

6 Excerpts

Highly Influential

3 Excerpts

Highly Influential

3 Excerpts

Highly Influential

3 Excerpts

Loading similar papers…