<--- Back to Details
First PageDocument Content
Software engineering / Declarative programming / Computer programming / Functional programming / Monad / Evaluation strategy / Lambda calculus / Adjoint functors / Haskell / Type class / Ur
Date: 2012-02-14 20:56:25
Software engineering
Declarative programming
Computer programming
Functional programming
Monad
Evaluation strategy
Lambda calculus
Adjoint functors
Haskell
Type class
Ur

Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 177,73 KB

Share Document on Facebook

Similar Documents

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

DocID: 1v6r1 - View Document

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

DocID: 1v5Nj - View Document

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

DocID: 1urDX - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1umuk - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1uaR5 - View Document