Performance Results for an Implementation of the Process Coordination Language K2
- Claus Aßmann[K. Hammond and A.J.T. Davie and C. Clack (ed)] (inproceedings, 1998)
An Implementation of Eden on Top of Concurrent Haskell
- S. Breitinger and U. Klusik and R. Loogen[W. Kluge (ed)] (INPROCEEDINGS, 1997)
Executable Axiomatic Specifications Using Functional Language -- Case Study: Base Ontology For A Spatio-Temporal Database
- Andrew U. Frank and Damir Medak (misc, 1997)
On Visual Formalisms
- David Harel (article, 1988)
Free On-line Dictionary of Computing
- Denis Howe (misc, 1997)
Poly-dimensional regular arrays in FISh
- Jay, C.B. (misc, 1998)
Powerful Ideas Need Love Too!
- Alan Kay (misc, 1995)
Using Functional Languages for Process Specifications
- Schepers, Jörg[Glaser, Hugh and Hartel, Pieter (ed)] (inproceedings, 1991)
OS6 --- An experimental operating system for a small
computer. I. General principles and structure
- J.~E.~Stoy and C.~Strachey (Article, 1972)
OS6 --- An experimental operating system for a small
computer. II. Input\slash output and filing system
- J.~E.~Stoy and C.~Strachey (Article, 1972)
Home Page
- Tcl/Tk Consortium (misc, 1999)
cr3@ukc.ac.uk