|
26
|
Fudgets - Purely Functional Processes with applications to Graphical User Interfaces
– M Carlsson, T Hallgren
- 1998
|
|
184
|
Concurrent Haskell
– Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne
- 1996
|
|
28
|
Composing Haggis
– Sigbjørn Finne, Simon Peyton Jones
- 1995
|
|
4
|
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
|
|
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
|
|
38
|
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
|
|
25
|
Programming with Fudgets
– M Hallgren, M Carlsson
- 1995
|
|
13
|
Nebula: a functional operating system
– K Karlsson
- 1981
|
|
26
|
Gadgets: Lazy Functional Components for Graphical User Interfaces
– Rob Noble, Colin Runciman
- 1995
|
|
19
|
On Implementations and Semantics of a Concurrent Programming Language
– Peter Sewell
- 1997
|
|
109
|
Bisimilarity as a theory of functional programming
– A Gordon
- 1995
|
|
40
|
A Co-induction Principle for Recursively Defined Domains
– Andrew Pitts
|
|
74
|
Co-induction in relational semantics
– Robin Milner, Mads Tofte
- 1991
|
|
267
|
The Polyadic ?-calculus: A Tutorial
– R Milner
- 1993
|
|
107
|
Calculli for Higher Order Communicating Systems
– B Thomsen
- 1990
|
|
15
|
Generalized bisimulation in relational specifications
– E Astesiano, A Giovini, G Reggio
- 1988
|
|
101
|
A Calculus of Mobile Processes, Part II
– Robin Milner, Joachim Parrow, David Walker
- 1989
|
