On Normalization by Evaluation for Object Calculi

DOI10.1007/978-3-540-68103-8_12MaRDI QIDQ3499758zbMATH OpenOpenAlexFDO

Authors Jan Schwinghammer

Publication date 3 June 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-68103-8_12

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1722652
• scientific article; zbMATH DE number 2090724
• Typeful normalization by evaluation
• scientific article; zbMATH DE number 1757129
• Denotational aspects of untyped normalization by evaluation

Cites work

• A delegation-based object calculus with subtyping
• Alpha-structural recursion and induction
• Denotational aspects of untyped normalization by evaluation
• Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
• scientific article; zbMATH DE number 1722661 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 2090724 (Why is no real title available?)
• Intuitionistic model constructions and normalization proofs
• On a monadic semantics for freshness
• Operational aspects of untyped Normalisation by Evaluation
• Relational properties of domains
• Semantics and logic of object calculi
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Typed Lambda Calculi and Applications
• Typed Lambda Calculi and Applications

Cited in

(4)

• Normalization by evaluation and algebraic effects
• scientific article; zbMATH DE number 1696586 (Why is no real title available?)
• scientific article; zbMATH DE number 1757129 (Why is no real title available?)
• Operational aspects of untyped Normalisation by Evaluation

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: On Normalization by Evaluation for Object Calculi

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