scientific article; zbMATH DE number 1942458

MaRDI QIDQ4409158zbMATH OpenFDO

Authors Masahito Hasegawa

Publication date 30 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2441/24410167.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Linearly-Used Continuations in the Enriched Effect Calculus
• Linear-use CPS translations in the enriched effect calculus
• Logic Based Program Synthesis and Transformation
• Functional and Logic Programming
• Enriching an Effect Calculus with Linear Types

Cited in

(9)

• Game semantics and linear CPS interpretation
• Call-By-Push-Value from a Linear Logic Point of View
• Linearly-used state in models of call-by-value
• Linear-use CPS translations in the enriched effect calculus
• Linearly-Used Continuations in the Enriched Effect Calculus
• Enriching an Effect Calculus with Linear Types
• Functional and Logic Programming
• Preface to the special volume
• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)

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 Q4409158)