Operational Theories of Improvement in Functional Languages (Extended Abstract) (1991)

Cached

Download Links

by David Sands
Venue:In Proceedings of the Fourth Glasgow Workshop on Functional Programming
Citations:21 - 9 self

Active Bibliography

39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
4 A First Order Logic of Effects – Ian A. Mason - 1996
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
10 Improvement Theory and its Applications – David Sands - 1997
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
9 A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation – Alan Jeffrey - 1994
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
5 A Co-induction Principle for Recursively De ned Domains, Theoretical Computer Science – Andrew M. Pitts - 1992
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
109 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi