scientific article

zbMath0579.68009MaRDI QIDQ3702495

Nancy McCracken

Publication date: 1984

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

zbMATH Keywords

semantics of data typestype inference for polymorphic functionstypechecker construction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Explicit substitutions and higher-order syntax, A semantics of multiple inheritance, Polymorphic type inference and containment, Meta-circular interpreter for a strongly typed language, Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus, Visible Type Application, The semantics of second-order lambda calculus, Typability and type checking in System F are equivalent and undecidable