scientific article
From MaRDI portal
Publication:2729058
zbMath0971.68581MaRDI QIDQ2729058
Publication date: 4 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Type inference for record concatenation and subtyping ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Simplifying subtyping constraints: a theory ⋮ Taming the Merge Operator
This page was built for publication:
