A Theory of Core Fudgets (1998)

Cached

Download Links

by Colin J. Taylor
Venue:Proc. ICFP'98, ACM
Citations:1 - 0 self

Documents Related by Co-Citation

2 A theory of weak bisimulation for core – W Ferreira, M Hennessy, A Jerey - 1996
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
1 The call-by-need lambda calculus, Journal of Functional Programming 7 – Z M Ariola, M Felleisen - 1997
1 An operational theory for McCarthy's Amb – S B Lassen, A K Moran - 1998
1 From CML to its process algebra, Theoretical Computer Science 155 – F Nielson, H R Nielson - 1996
1 The Haskell Report, Version 1.4 – J Peterson, K Hammond - 1997
2 Je rey, A theory of weak bisimulation for core CML – W Ferreira, M Hennessy, A - 1996
4 Fudgets—purely functional processes with applications to graphical user interfaces – M Carlsson, T Hallgren - 1998
9 A simple language supporting angelic nondeterminism and parallel composition, in – M W Mislove, F J Oles - 1991
1 Towards a semantic theory of CML (extended abstract – W Ferreira, M Hennessy - 1995
10 Mccarthy's AMB cannot implement fair merge – P Panangaden, V Shanbhogue - 1988
1 Metric interpretations of in nite trees and semantics of non-deterministic recursive programs, Theoret – A Arnold, M Nivat - 1980
1 On the operational semantics of nondeterminism and divergence, Theoret – H Erdogmus, R Johnston, M Ferguson - 1996
1 Pitts (Eds.), Higher Order Operational Techniques – A D Gordon, A M - 1998
1 The semantics of non-determinism – M Hennessy, E A Ashcroft - 1973
1 A relational model of non-deterministic data ow – T Hildebrandt, P Panagaden, G Winskel - 1998
1 Comparing two fully abstract data ow models, in – B Jonsson, J N Kok - 1989
1 Unique xed point induction for McCarthy’s Amb, in – S B Lassen, A K Moran - 1999
2 Fully abstract models of the typed -calculus, Theoretical Computer Science 4 – R Milner - 1977