scientific article; zbMATH DE number 2077113
From MaRDI portal
Publication:4470496
zbMath1044.03511MaRDI QIDQ4470496
Publication date: 1 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Type inference for record concatenation and subtyping ⋮ A domain-theoretic semantics of lax generic functions. ⋮ Explicit mathematics: power types and overloading
This page was built for publication: