scientific article; zbMATH DE number 2163037
From MaRDI portal
Publication:4673424
zbMath1088.68531MaRDI QIDQ4673424
No author found.
Publication date: 29 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
A Delta for Hybrid Type Checking ⋮ Foundations of dependent interoperability ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ Space-efficient gradual typing ⋮ Polymorphic Contracts ⋮ A general semantic construction of dependent refinement type systems, categorically ⋮ The interaction of contracts and laziness ⋮ Blame and coercion: Together again for the first time
This page was built for publication:
