Searching for "Functional Programming, Glasgow 1995" – sorted by Relevance.
-
The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant
- : HERA in use Functional Programming, Glasgow 1995 2 The Technology Behind a Graphical User Interface
- Cited by 1 (0 self) – Add To MetaCart
-
On the Granularity of Divide-and-Conquer Parallelism
- (Ed) Functional Programming, Glasgow 1995 Proceedings of the 1995 Glasgow Workshop on Functional
- Cited by 3 (2 self) – Add To MetaCart
-
A lazy, self-optimising parallel matrix library
- (Ed) Functional Programming, Glasgow 1995 Proceedings of the 1995 Glasgow Workshop on Functional
- Cited by 3 (3 self) – Add To MetaCart
-
Supporting Reasoning about Functional Programs: An Operational Approach
- (Ed) Functional Programming, Glasgow 1995 Proceedings of the 1995 Glasgow Workshop on Functional
- Cited by 3 (1 self) – Add To MetaCart
-
The Brisk Project: Concurrent and Distributed Functional Systems
- (Ed) Functional Programming, Glasgow 1995 Proceedings of the 1995 Glasgow Workshop on Functional
- Cited by 6 (1 self) – Add To MetaCart

