Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3674034

Jump to:navigation, search

zbMath0523.68011MaRDI QIDQ3674034

Mario Coppo, Elio Giovannetti

Publication date: 1983

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

zbMATH Keywords

polymorphism functional programming type inference polymorphic type system semantic characterization of typed terms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items

A characterization of F-complete type assignments, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, Constructing type systems over an operational semantics, Computability in higher types, P\(\omega\) and the completeness of type assignment

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