A purely functional language with encapsulated assignment

DOI10.1007/3-540-57887-0_96MaRDI QIDQ4490727zbMATH OpenFDO

Authors Masahiko Sato

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_96

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Functional programming with side-effects
• Monadic encapsulation of effects: a revised approach (extended version)
• Assignment calculus: a pure imperative language
• scientific article; zbMATH DE number 1497773
• Reducing transformations for functional programs with assignment

Cited in

(1)

• Assignment calculus: a pure imperative language

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication: A purely functional language with encapsulated assignment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490727)