article

Extensional models for polymorphism

Authors:

V. Breazu-Tannen,

T. CoquandAuthors Info & Claims

Theoretical Computer Science, Volume 59, Issue 1-2

Pages 85 - 114

https://doi.org/10.1016/0304-3975(88)90097-7

Published: 01 July 1988 Publication History

Abstract

No abstract available.

Cited By

View all

Wadler P(2007)The Girard—Reynolds isomorphism (second edition)Theoretical Computer Science10.1016/j.tcs.2006.12.042375:1-3(201-226)Online publication date: 20-Apr-2007
https://dl.acm.org/doi/10.1016/j.tcs.2006.12.042
Johann P(2005)On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculiMathematical Structures in Computer Science10.1017/S096012950400457815:2(201-229)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1017/S0960129504004578
Wadler P(2003)The Girard--Reynolds isomorphismInformation and Computation10.1016/S0890-5401(03)00141-X186:2(260-284)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1016/S0890-5401%2803%2900141-X
Show More Cited By

Index Terms

Extensional models for polymorphism

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Theoretical Computer Science

Theoretical Computer Science Volume 59, Issue 1-2

International Joint Conference on Theory and Practice of Software Development, P

July 1988

204 pages

ISSN:0304-3975

Editors:
M. Nivat
Univ. Paris VII, Chevilly-Larue, France
,
Giorgio Levi,
Ugo Montanari

Issue’s Table of Contents

Publisher

Elsevier Science Publishers Ltd.

United Kingdom

Publication History

Published: 01 July 1988

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wadler P(2007)The Girard—Reynolds isomorphism (second edition)Theoretical Computer Science10.1016/j.tcs.2006.12.042375:1-3(201-226)Online publication date: 20-Apr-2007
https://dl.acm.org/doi/10.1016/j.tcs.2006.12.042
Johann P(2005)On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculiMathematical Structures in Computer Science10.1017/S096012950400457815:2(201-229)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1017/S0960129504004578
Wadler P(2003)The Girard--Reynolds isomorphismInformation and Computation10.1016/S0890-5401(03)00141-X186:2(260-284)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1016/S0890-5401%2803%2900141-X
Wadler P(2001)The Girard-Reynolds IsomorphismProceedings of the 4th International Symposium on Theoretical Aspects of Computer Software10.5555/645870.758291(468-491)Online publication date: 29-Oct-2001
https://dl.acm.org/doi/10.5555/645870.758291
Breazutannen VGallier J(1994)Polymorphic Rewriting Conserves Algebraic ConfluenceInformation and Computation10.1006/inco.1994.1078114:1(1-29)Online publication date: 1-Oct-1994
https://dl.acm.org/doi/10.1006/inco.1994.1078
Wadler PStoy J(1989)Theorems for free!Proceedings of the fourth international conference on Functional programming languages and computer architecture10.1145/99370.99404(347-359)Online publication date: 1-Nov-1989
https://dl.acm.org/doi/10.1145/99370.99404

Cited By

Index Terms

Recommendations

Machine Learning Applied To Building Information Models

Development of Integrated Models of Hepatocyte Cells

Mathematical Models in Cancer

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Abstract

Cited By

Index Terms

Recommendations

Machine Learning Applied To Building Information Models

Development of Integrated Models of Hepatocyte Cells

Mathematical Models in Cancer

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations