A semantics for static type inference in a nondeterministic language

DOI10.1006/inco.1994.1019zbMath0804.68083OpenAlexW2069970962MaRDI QIDQ1322481

Martín Abadi

Publication date: 12 January 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3186f7d158023ef77e63b6427d1b07f34d7153ef

zbMATH Keywords

semanticsstatic type inferencemodels of reductionnondeterministic language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

Filter models for conjunctive-disjunctive \(\lambda\)-calculi

This page was built for publication: A semantics for static type inference in a nondeterministic language