scientific article

From MaRDI portal

Revision as of 08:52, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3702495

Jump to:navigation, search

zbMath0579.68009MaRDI QIDQ3702495

Nancy McCracken

Publication date: 1984

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

zbMATH Keywords

semantics of data types type inference for polymorphic functions typechecker construction

Mathematics Subject Classification ID

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

Related Items (8)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3702495&oldid=17193938"