Total Functional Programming (2004)

Cached

Download Links

by David Turner
Venue:Journal of Universal Computer Science
Citations:30 - 1 self

Documents Related by Co-Citation

300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
276 Regular algebra and finite machines – J H Conway - 1971
457 Comprehending Monads – Philip Wadler - 1992
1311 Monads for functional programming – Philip Wadler - 1995
706 Types and Programming Languages – B C Pierce - 2002
3410 Communicating Sequential Processes – C. A. R. Hoare - 1985
1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
731 Notions of Computation and Monads – Eugenio Moggi - 1991
469 Interactive Theorem Proving and Program Development – Y Bertot, P Castéran - 2004