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

Cached

Download Links

by Martín Abadi
Citations:5 - 0 self

Active Bibliography

6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
10 Must Preorder in Non-Deterministic Untyped λ-calculus – U. de'Liguoro, A. Piperno - 1992
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
2 Non-Determinism in a Functional Setting (Extended Abstract) – C.-H. Luke Ong - 1993
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
733 Notions of Computation and Monads – Eugenio Moggi - 1991
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
4 A Filter Model for Concurrent λ-Calculus – Mariangiola Dezani-ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1998
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
5 A game semantics of Idealized CSP – J. Laird - 2001
Semi-decidability of may, must . . . in a higher-type setting – Martín Escardó - 2009
12 Filter Models for Conjunctive-Disjunctive λ-calculi – Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1996
On the representation of McCarthy’s ambin the π-calculus – Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi - 2004