Continuation models for the lambda calculus with constructors

DOI10.1016/J.ENTCS.2012.10.001MaRDI QIDQ3178293zbMATH OpenOpenAlexWikidataFDO

Authors Barbara Petit

Publication date 8 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.2012.10.001

zbMATH Keywords

categorical semanticspattern matchinglambda calculuscontinuation modelcontinuation-passing-style transformation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• A Lambda-Calculus with Constructors
• The λ-calculus with constructors: Syntax, confluence and separation
• Classical logic, continuation semantics and abstract machines
• Semantics of typed lambda-calculus with constructors
• Continuation calculus

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Classical logic, continuation semantics and abstract machines
• Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN
• Confluence of Pattern-Based Calculi
• Pattern Calculus
• Programming Languages and Systems
• Semantics of typed lambda-calculus with constructors
• The λ-calculus with constructors: Syntax, confluence and separation

Cited in

(7)

• Enriching the lambda calculus with contexts: toward a theory of incremental program construction
• A Lambda-Calculus with Constructors
• A type system for continuation calculus
• scientific article; zbMATH DE number 1497842 (Why is no real title available?)
• The λ-calculus with constructors: Syntax, confluence and separation
• scientific article; zbMATH DE number 1910399 (Why is no real title available?)
• On constructor rewrite systems and the lambda calculus

This page was built for publication: Continuation models for the lambda calculus with constructors

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