Capsules and Closures

DOI10.1016/j.entcs.2011.09.022zbMath1342.68088OpenAlexW2160037207WikidataQ113318223 ScholiaQ113318223MaRDI QIDQ5739358

Jean-Baptiste Jeannin

Publication date: 15 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.022

zbMATH Keywords

functional programmingclosurecapsuleprogramming language semanticsimperative programminghigher-order functionsscopingmutable variablesstate of computation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

New

Cites Work

• Notions of computation and monads
• The revised report on the syntactic theories of sequential control and state
• Scheme: A interpreter for extended lambda calculus
• Relational Semantics for Higher-Order Programs
• Equivalence in functional languages with effects
• Foundations of Software Science and Computation Structures
• The next 700 programming languages
• The Mechanical Evaluation of Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Capsules and Closures