scientific article
From MaRDI portal
Publication:3793704
zbMath0648.68020MaRDI QIDQ3793704
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
type expressionsheterogeneous data structuresdynamic type checkspartial type informationprinciple types
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05)
Related Items
Efficient inference of partial types, Type reconstruction with recursive types and atomic subtyping, Strong normalization for non-structural subtyping via saturated sets, Type inference with non-structural subtyping, Safety analysis versus type inference for partial types, Normal forms have partial types
