scientific article; zbMATH DE number 1231621

zbMATH Open0925.68298MaRDI QIDQ4222944FDOQ4222944

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

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Relational properties of domains
• From operational semantics to domain theory
• Title not available (Why is that?)

Cited In (10)

• Functioning without closure: type-safe customized function representations for standard ML
• Title not available (Why is that?)
• Type-driven defunctionalization
• Polymorphic typed defunctionalization and concretization
• Title not available (Why is that?)
• 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)