Functional and Logic Programming

DOI10.1007/B96926zbMATH Open1122.68399OpenAlexW2506581943MaRDI QIDQ5308024FDOQ5308024

Authors: Masahito Hasegawa 

Publication date: 25 September 2007

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

Full work available at URL: https://doi.org/10.1007/b96926

Recommendations

• scientific article; zbMATH DE number 1956521
• On the call-by-value CPS transform and its semantics
• Game semantics and linear CPS interpretation
• scientific article; zbMATH DE number 1942458
• Linearly-Used Continuations in the Enriched Effect Calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cited In (9)

• Linear continuation-passing
• On the semantics of the call-by-name CPS transform
• Sequentiality and the CPS semantics of fresh names
• On the call-by-value CPS transform and its semantics
• Programs with continuations and linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Game semantics and linear CPS interpretation
• Title not available (Why is that?)

This page was built for publication: Functional and Logic Programming

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