scientific article
From MaRDI portal
Publication:3204026
zbMath0716.68017MaRDI QIDQ3204026
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Decidability of theories and sets of sentences (03B25) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (10)
Operations on records ⋮ Category-sorted algebra-based action semantics ⋮ The coherence of languages with intersection types ⋮ An imperative object calculus ⋮ A modest model of records, inheritance, and bounded quantification ⋮ Disjoint Polymorphism ⋮ \texttt{EVL}: a typed higher-order functional language for events ⋮ Practical Optional Types for Clojure ⋮ Operations on records ⋮ Taming the Merge Operator
This page was built for publication:
