Functional and Logic Programming

DOI10.1007/B96926zbMATH Open1122.68399OpenAlexW2506581943MaRDI QIDQ5308024FDOQ5308024

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

• [[:Publication:4417867|Title not available (Why is that?)]]
• On the call-by-value CPS transform and its semantics
• Game semantics and linear CPS interpretation
• [[:Publication:4409158|Title not available (Why is that?)]]
• 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 (7)

• Linear continuation-passing
• On the semantics of the call-by-name CPS transform
• On the call-by-value CPS transform and its semantics
• 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)