An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming

Cached

Download Links

by Jonathan M. D. Hill , Keith Clarke
Citations:2 - 0 self

Documents Related by Co-Citation

12 Toward Relaxing Assumptions in Languages and Their Implementations – A Wulf - 1980
4 A Symmetric Complement to the Lambda Calculus. Technical report, Gesellschaft fur Mathematik und Datenverarbeitung mbH – K J Berkling - 1976
7 A functional approach to database updates – C Small - 1993
4 Functional Hypersheets – A Davie, K Hammond - 1996
10 First-class polymorphism for ML – Stefan Kahrs - 1993
13 Interactive Functional Programs - Models, Methods, and Implementation – Peter Achten - 1996
4 Improving persistent data manipulation for functional languages – Patrick M. Sansom - 1992
5 a language designed for teaching programming linguistics – PAL - 1968
8 A Consistent Extension of the Lambda Calculus as a Base for Functional Programming Languages. Information and Control – Klaus Berkling, E Fehr - 1982
7 A User's Guide for the Reduction System -RED – Werner E Kluge - 1994
9 Persistent First Class Procedures are Enough – M P Atkinson, R Morrison - 1984
5 Introduction to the Literature On Programming Language Design – Gary T. Leavens - 1993
5 Two Models For Integrating Persistence and Lazy Functional Languages – David J. McNally, Antony J. T. Davie - 1991
3 ein interaktives codeausfuhrendes Reduktionssystem zur vollstandigen Realisierung eines angewandten --Kalkuls. PhD thesis, Inst. fur Informatik und praktische Mathematik, Universit at – -RED - 1991
4 Modules and Persistence in Standard ML – Robert E Harper - 1986
3 Poly and Standard ML – David C J Matthews - 1985
9 Extending functional database languages to update completeness – D R Sutton, C Small - 1995
2 Applications of the Lambda Calculus. Talk given at the yearly colloquium of the Department of computer science in – Henk Barendregt - 1996
6 Functional Programming With Dynamic Binding – Laurent Dami - 1995
2 A Lambda-Calculus with Dynamic Binding – Laurent Dami - 1998