scientific article; zbMATH DE number 1231621

MaRDI QIDQ4222944zbMATH OpenFDO

Authors Greg Morrisett, Robert Harper

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10020

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1629940
• Type-driven defunctionalization
• scientific article; zbMATH DE number 1497777
• Typed closure conversion preserves observational equivalence

Cites work

• scientific article; zbMATH DE number 1088048 (Why is no real title available?)
• From operational semantics to domain theory
• Relational properties of domains

Cited in

(10)

• Functioning without closure: type-safe customized function representations for standard ML
• scientific article; zbMATH DE number 1629940 (Why is no real title available?)
• Polymorphic typed defunctionalization and concretization
• Type-driven defunctionalization
• scientific article; zbMATH DE number 1497777 (Why is no real title available?)
• Typed closure conversion preserves observational equivalence
• Closure functions and general iterates as reflectors
• Type-safe code transformations in Haskell
• From call-by-value to interaction by typed closure conversion
• Polymorphic typed defunctionalization

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