Non-Determinism in a Functional Setting (Extended Abstract) (1993)

Cached

Download Links

by C.-H. Luke Ong
Venue:In Proceedings 8th LICS
Citations:2 - 0 self

Active Bibliography

2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
12 Filter Models for Conjunctive-Disjunctive λ-calculi – Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1996
4 Lazy Lambda Calculus: Theories, Models and Local Structure Characterisation – C.-H. Luke Ong - 1994
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
21 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
Observational Program Calculi and the Correctness of Translations – Manfred Schmidt-schauss, David Sabel, Joachim Niehren, Jan Schwinghammer - 2013
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
Lambda-Calculus – Germain Faure, Re Miquel, Thème Sym, Germain Faure, Re Miquel, Thème Sym Systèmes Symboliques - 2009
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
5 A Semantics for Static Type Inference in a Nondeterministic Language – Martín Abadi - 1994
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
8 Making Choices Lazily – John Hughes, Andrew Moran - 1995
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
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
1 Lambda Calculus – C. -h. L. Ong, C C. -h. L. Ong
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006