scientific article; zbMATH DE number 3902021

MaRDI QIDQ3680263zbMATH OpenFDO

Authors Albert R. Meyer, Mitchell Wand

Publication date 1985

zbMATH Keywords

retractionstyped lambda-calculussemantics of the continuation transform

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the call-by-value CPS transform and its semantics
• On the transformation between direct and continuation semantics
• scientific article; zbMATH DE number 1231584
• Retraction approach to CPS transform
• scientific article; zbMATH DE number 1759490

Cited in

(20)

• Correctness of compiling polymorphism to dynamic typing
• On the relations between monadic semantics
• Galois connecting call-by-value and call-by-name
• Types as graphs: Continuations in type logical grammar
• On the transformation between direct and continuation semantics
• A static simulation of dynamic delimited control
• An induction principle for pure type systems
• A type system for continuation calculus
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• scientific article; zbMATH DE number 1497842 (Why is no real title available?)
• Functional un\(|\)unparsing
• From control effects to typed continuation passing
• scientific article; zbMATH DE number 2185726 (Why is no real title available?)
• Domain-free \(\lambda\mu\)-calculus
• Relational interpretations of recursive types in an operational setting.
• A first-order one-pass CPS transformation
• scientific article; zbMATH DE number 1910399 (Why is no real title available?)
• On the strong normalisation of intuitionistic natural deduction with permutation-conversions
• Correctness of procedure representations in higher-order assembly language

This page was built for publication:

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