A Semantics for Static Type Inference in a Nondeterministic Language (1994)

Cached

Download Links

by Martín Abadi
Citations:5 - 0 self

Active Bibliography

734 Notions of Computation and Monads – Eugenio Moggi - 1991
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
7 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
10 Must Preorder in Non-Deterministic Untyped λ-calculus – U. de'Liguoro, A. Piperno - 1992
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
2 Non-Determinism in a Functional Setting (Extended Abstract) – C.-H. Luke Ong - 1993
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004