Operational interpretations of an extension of Fω with control operators

DOI10.1017/S0956796800001775zbMath0861.68055MaRDI QIDQ5687907

Mark Lillibridge, Robert Harper

Publication date: 16 December 1996

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

zbMATH Keywords

standard semanticspolymorphic abstractions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Uses Software

• Haskell
• LCF
• Forsythe

Cites Work

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

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