chapter

Design of the programming language FORSYTHE

Author:

John C. ReynoldsAuthors Info & Claims

ALGOL-like Languages, Volume 1

January 1997

Pages 173 - 233

Published: 01 January 1997 Publication History

Abstract

No abstract available.

Cited By

View all

Oliveira BShi ZAlpuim J(2016)Disjoint intersection typesACM SIGPLAN Notices10.1145/3022670.295194551:9(364-377)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/3022670.2951945
Castagna GPetrucciani TNguyễn K(2016)Set-theoretic types for polymorphic variantsACM SIGPLAN Notices10.1145/3022670.295192851:9(378-391)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/3022670.2951928
Oliveira BShi ZAlpuim JGarrigue JKeller GSumii E(2016)Disjoint intersection typesProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming10.1145/2951913.2951945(364-377)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/2951913.2951945
Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ALGOL-like Languages, Volume 1

January 1997

274 pages

ISBN:0817638806

Editors:
Peter W. O'Hearn
Queen Mary & Westfield College, London, England,UK
,
Robert D. Tennent
Queen's Univ., Kingston, Ontario, Canada

Publisher

Birkhauser Boston Inc.

United States

Publication History

Published: 01 January 1997

Qualifiers

Chapter

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 27 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Oliveira BShi ZAlpuim J(2016)Disjoint intersection typesACM SIGPLAN Notices10.1145/3022670.295194551:9(364-377)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/3022670.2951945
Castagna GPetrucciani TNguyễn K(2016)Set-theoretic types for polymorphic variantsACM SIGPLAN Notices10.1145/3022670.295192851:9(378-391)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/3022670.2951928
Oliveira BShi ZAlpuim JGarrigue JKeller GSumii E(2016)Disjoint intersection typesProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming10.1145/2951913.2951945(364-377)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/2951913.2951945
Castagna GPetrucciani TNguyễn KGarrigue JKeller GSumii E(2016)Set-theoretic types for polymorphic variantsProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming10.1145/2951913.2951928(378-391)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/2951913.2951928
Mäkelä JLeppänen V(2015)Towards an extensible, modular compiler construction with scalable abstractions and typesProceedings of the 16th International Conference on Computer Systems and Technologies10.1145/2812428.2812476(112-119)Online publication date: 25-Jun-2015
https://dl.acm.org/doi/10.1145/2812428.2812476
Caires LSeco J(2013)The type discipline of behavioral separationACM SIGPLAN Notices10.1145/2480359.242910348:1(275-286)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2480359.2429103
Caires LSeco JGiacobazzi RCousot R(2013)The type discipline of behavioral separationProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2429069.2429103(275-286)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2429069.2429103
Backes MHriţcu CMaffei M(2011)Union and intersection types for secure protocol implementationsProceedings of the 2011 international conference on Theory of Security and Applications10.1007/978-3-642-27375-9_1(1-28)Online publication date: 31-Mar-2011
https://dl.acm.org/doi/10.1007/978-3-642-27375-9_1
Dougherty DLiquori L(2010)Logic and computation in a lambda calculus with intersection and union typesProceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning10.5555/1939141.1939152(173-191)Online publication date: 25-Apr-2010
https://dl.acm.org/doi/10.5555/1939141.1939152
Bierman GGordon AHriţcu CLangworthy D(2010)Semantic subtyping with an SMT solverACM SIGPLAN Notices10.1145/1932681.186356045:9(105-116)Online publication date: 27-Sep-2010
https://dl.acm.org/doi/10.1145/1932681.1863560
Show More Cited By

Cited By

Index Terms

Recommendations

Learn Professional Programming Skill in C++ Programming Language

C++ Programming Language: Simple, Short, and Straightforward Way of Learning C++ Programming

MATLAB Programming Language

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Abstract

Cited By

Index Terms

Recommendations

Learn Professional Programming Skill in C++ Programming Language

C++ Programming Language: Simple, Short, and Straightforward Way of Learning C++ Programming

MATLAB Programming Language

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations