Transforming Sequences using Threaded Morphisms

Cached

Download Links

by Clark Department Of , A. N. Clark

Active Bibliography

Metaclasses and Reflection in Smalltalk – A.N. Clark - 1997
455 Comprehending Monads – Philip Wadler - 1992
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
35 Semantic Lego – David Espinosa - 1995
17 A Cost Analysis for a Higher-order Parallel Programming Model – Roopa Rangaswami, Sister Kripa - 1996
39 Querying Nested Collections – Limsoon Wong - 1994
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
Basic Proof Skills of Computer Science Students – Pieter H. Hartel, Bert Van Es, Dick Tromp
The Programming Language Opal – Th Corrected Edition, Fachbereich Informatik, Technische Universitat Berlin
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
2 EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine – Tony Clark - 1999
7 Deterministic Concurrency – David Paul Carter - 1993
5 Unlimp - Uniqueness as a Leitmotiv for Implementation – Stefan Kahrs - 1992
7 Notes on Functional Programming with Gofer – H. Conrad Cunningham - 1995
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
Tracing Lazy Evaluation by . . . – Richard Douglas Watson - 1997
Higher-Order Charity – Mark A. Schroeder - 1997
10 Sharing Code through First-class Environments – Christian Queinnec, David DeRoure - 1996