scientific article; zbMATH DE number 3995028

From MaRDI portal

Revision as of 20:56, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4721631

Jump to:navigation, search

zbMath0614.68010MaRDI QIDQ4721631

Robert Harper, Mads Tofte, Arthur J. Milner

Publication date: 1987

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

zbMATH Keywords

signature functor specification structure data types ML modules system Plotkin's operational semantics

Mathematics Subject Classification ID

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

Related Items (2)

Type checking with universes ⋮ A proposed categorical semantics for Pure ML

This page was built for publication:

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