scientific article; zbMATH DE number 1330432

zbMath0924.68119MaRDI QIDQ4261074

No author found.

Publication date: 20 September 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=20#20004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

language betavituell class

Mathematics Subject Classification ID

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

Related Items (3)

Matching MyType to subtyping ⋮ Foundations for virtual types ⋮ Type-safe covariant specialization with generalized matching

Uses Software

• BETA

This page was built for publication: