Operational interpretations of an extension of Fω with control operators

DOI10.1017/S0956796800001775MaRDI QIDQ5687907zbMATH OpenFDO

Authors Robert Harper, Mark Lillibridge

Publication date 16 December 1996

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796800001775

zbMATH Keywords

polymorphic abstractionsstandard semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Finitary treatment of operator controlled derivations
• On exact controllability of operators
• scientific article; zbMATH DE number 5020259
• scientific article; zbMATH DE number 3977609
• scientific article; zbMATH DE number 1371514
• scientific article; zbMATH DE number 19463
• Extensionality with respect to indistinguishability operators
• scientific article; zbMATH DE number 942681
• Towards -extension of Rota's finite operator calculus
• scientific article; zbMATH DE number 2182491

Cites work

• A theory of type polymorphism in programming
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Inheritance as implicit coercion
• Obtaining coroutines with continuations
• The revised report on the syntactic theories of sequential control and state
• Type inference for polymorphic references

Cited in

(3)

• scientific article; zbMATH DE number 5913504 (Why is no real title available?)
• scientific article; zbMATH DE number 1231611 (Why is no real title available?)
• Proving termination of evaluation for system F with control operators

Describes a project that uses

Uses Software

• Haskell
• LCF
• Forsythe

This page was built for publication: Operational interpretations of an extension of F_ω with control operators

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