scientific article; zbMATH DE number 1231621

zbMath0925.68298MaRDI QIDQ4222944

Robert Harper, Greg Morrisett

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (1)

Polymorphic typed defunctionalization and concretization

Cites Work

• From operational semantics to domain theory
• Relational properties of domains
• Unnamed Item

This page was built for publication: