Formalising and Reasoning about Fudgets (1998)

Cached

Download Links

by Colin J. Taylor
Citations:2 - 1 self

Documents Related by Co-Citation

28 Composing Haggis – Sigbjørn Finne, Simon Peyton Jones - 1995
27 Fudgets – Purely Functional Processes with applications to Graphical User Interfaces – Magnus Carlsson, Thomas Hallgren - 1998
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
1 Programming with fudgets. Available by anonymous FTP from pub/users/hallgren on ftp.cs.chalmers.se – M Carlsson, T Hallgren - 1994
2 The Fudget Library distribution. Available by anonymous FTP from pub/haskell/chalmers on ftp.cs.chalmers.se – M Carlsson, T Hallgren - 1995
1 A theory of weak bisimulation for core cml. Computer Science – W Ferreira, M Hennessy, A Jeffrey - 1995
26 Gadgets: Lazy Functional Components for Graphical User Interfaces – Rob Noble, Colin Runciman - 1995
15 Generalized bisimulation in relational specifications – E Astesiano, A Giovini, G Reggio - 1988
13 a Functional Operating System – K Nebula Karlsson - 1981
25 Programming with fudgets – Thomas Hallgren, Magnus Carlsson - 1995
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
19 On Implementations and Semantics of a Concurrent Programming Language – Peter Sewell - 1997
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
95 Equality In Lazy Computation Systems – Douglas J. Howe - 1998
77 Co-induction in relational semantics – R Milner, M Tofte - 1991
107 A Calculus of Mobile Processes, Part II – Robin Milner, Joachim Parrow, David Walker - 1989
40 Report on the programming language haskell, a non-strict purely-functional programming language, version 1.3 – John Peterson, Kevin Hammond, Lennart Augustsson, Joseph Fasel, Andrew D. Gordon, John Hughes, Paul Hudak, Thomas Johnsson, Mark Jones, Simon Peyton Jones, Alastair Reid, Philip Wadler - 1997
5 A preliminary theory for parallel programs. Rapport de Recherche 6, IRIA,January 1973. #Kah74# Gilles Kahn. The semantics of a simple language for parallel processing – G Kahn - 1973
3219 Communication and Concurrency – R Milner - 1990