Transforming Sequences using Threaded Morphisms

Cached

Download Links

by Clark Department Of , A. N. Clark

Active Bibliography

457 Comprehending Monads – Philip Wadler - 1992
401 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
281 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
Metaclasses and Reflection in Smalltalk – A.N. Clark - 1997
334 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
330 Theorems for free! – Philip Wadler - 1989
301 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
A Layered Object Oriented Programming Language – A. N. Clark - 1997
262 Relations in Concurrency – Glynn Winskel