Assignments for applicative languages
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 192-214
- https://doi.org/10.1007/3540543961_10
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Axiomatizing operational equivalence in the presence of side effectsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Single-threaded polymorphic lambda calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Type Systems for Programming LanguagesPublished by Elsevier ,1990
- Polymorphic effect systemsPublished by Association for Computing Machinery (ACM) ,1988
- λ-V-CS: an extended λ-calculus for schemePublished by Association for Computing Machinery (ACM) ,1988
- Laws of programmingCommunications of the ACM, 1987
- A calculus for assignments in higher-order languagesPublished by Association for Computing Machinery (ACM) ,1987
- Integrating functional and imperative programmingPublished by Association for Computing Machinery (ACM) ,1986
- The aggregate update problem in functional programming systemsPublished by Association for Computing Machinery (ACM) ,1985
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980