Article

Shapely Types and Shape Polymorphism

Authors:

C. Barry Jay,

J. Robin B. CockettAuthors Info & Claims

ESOP '94: Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems

Pages 302 - 316

Published: 11 April 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Müller TDietrich BGrust T(2018)You say 'what', i hear 'where' and 'why'Proceedings of the VLDB Endowment10.14778/3236187.323620411:11(1536-1549)Online publication date: 1-Jul-2018
https://dl.acm.org/doi/10.14778/3236187.3236204
Slepak JShivers OManolios P(2014)An Array-Oriented Language with Static Rank PolymorphismProceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 841010.1007/978-3-642-54833-8_3(27-46)Online publication date: 5-Apr-2014
https://dl.acm.org/doi/10.1007/978-3-642-54833-8_3
Dagand PMcBride C(2013)A Categorical Treatment of OrnamentsProceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/2591370.2591396(530-539)Online publication date: 25-Jun-2013
https://dl.acm.org/doi/10.5555/2591370.2591396
Show More Cited By

Recommendations

Analytical and structural polymorphism expressed using patterns over types
On understanding types, data abstraction, and polymorphism
The MIT Press scientific computation series

Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical ...
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types

Bidirectional typechecking, in which terms either synthesize a type or are checked against a known type, has become popular for its applicability to a variety of type systems, its error reporting, and its ease of implementation. Following principles from ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ESOP '94: Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems

April 1994

516 pages

ISBN:3540578803

Editor:
Donald Sannella

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 11 April 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Müller TDietrich BGrust T(2018)You say 'what', i hear 'where' and 'why'Proceedings of the VLDB Endowment10.14778/3236187.323620411:11(1536-1549)Online publication date: 1-Jul-2018
https://dl.acm.org/doi/10.14778/3236187.3236204
Slepak JShivers OManolios P(2014)An Array-Oriented Language with Static Rank PolymorphismProceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 841010.1007/978-3-642-54833-8_3(27-46)Online publication date: 5-Apr-2014
https://dl.acm.org/doi/10.1007/978-3-642-54833-8_3
Dagand PMcBride C(2013)A Categorical Treatment of OrnamentsProceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/2591370.2591396(530-539)Online publication date: 25-Jun-2013
https://dl.acm.org/doi/10.5555/2591370.2591396
Hofmann MPierce BWagner DBall TSagiv M(2011)Symmetric lensesProceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1926385.1926428(371-384)Online publication date: 26-Jan-2011
https://dl.acm.org/doi/10.1145/1926385.1926428
Hofmann MPierce BWagner D(2011)Symmetric lensesACM SIGPLAN Notices10.1145/1925844.192642846:1(371-384)Online publication date: 26-Jan-2011
https://dl.acm.org/doi/10.1145/1925844.1926428
Dyreson CBhowmick SMallampalli K(2010)Using XMorph to transform XML dataProceedings of the VLDB Endowment10.14778/1920841.19210333:1-2(1541-1544)Online publication date: 1-Sep-2010
https://dl.acm.org/doi/10.14778/1920841.1921033
Yorgey B(2010)Species and functors and types, oh my!ACM SIGPLAN Notices10.1145/2088456.186354245:11(147-158)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/2088456.1863542
Barbosa DCretin JFoster NGreenberg MPierce B(2010)Matching lensesACM SIGPLAN Notices10.1145/1932681.186357245:9(193-204)Online publication date: 27-Sep-2010
https://dl.acm.org/doi/10.1145/1932681.1863572
Barbosa DCretin JFoster NGreenberg MPierce BHudak PWeirich S(2010)Matching lensesProceedings of the 15th ACM SIGPLAN international conference on Functional programming10.1145/1863543.1863572(193-204)Online publication date: 27-Sep-2010
https://dl.acm.org/doi/10.1145/1863543.1863572
Yorgey BGibbons J(2010)Species and functors and types, oh my!Proceedings of the third ACM Haskell symposium on Haskell10.1145/1863523.1863542(147-158)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/1863523.1863542
Show More Cited By

Abstract

Cited By

Recommendations

Analytical and structural polymorphism expressed using patterns over types

On understanding types, data abstraction, and polymorphism

Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types

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