scientific article; zbMATH DE number 3902021

zbMATH Open0565.68028MaRDI QIDQ3680263FDOQ3680263

Authors: Albert R. Meyer, Mitchell Wand 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (19)

• 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
• An induction principle for pure type systems
• A static simulation of dynamic delimited control
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Title not available (Why is that?)
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• Functional un\(|\)unparsing
• From control effects to typed continuation passing
• Title not available (Why is that?)
• Domain-free \(\lambda\mu\)-calculus
• Relational interpretations of recursive types in an operational setting.
• A first-order one-pass CPS transformation
• Title not available (Why is that?)
• 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)