Monad

Results: 766



#Item
31A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
32Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
33Asymptotic Improvement of Computations over Free Monads Janis Voigtl¨ ander Technische Universit¨ at Dresden

Asymptotic Improvement of Computations over Free Monads Janis Voigtl¨ ander Technische Universit¨ at Dresden

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 05:50:10
34Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom

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

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-02-14 20:56:25
35UNPUBLISHEDA Cartesian Bicategory of Nondeterministic Arrows between Domains Eugene W. Stark1 Department of Computer Science

UNPUBLISHEDA Cartesian Bicategory of Nondeterministic Arrows between Domains Eugene W. Stark1 Department of Computer Science

Add to Reading List

Source URL: bsd7.cs.sunysb.edu

Language: English - Date: 2010-03-16 01:05:50
36Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea

Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
37Genome Informatics 11: 63–Visualization and Manipulation of Pedigree Diagrams Limsoon Wong

Genome Informatics 11: 63–Visualization and Manipulation of Pedigree Diagrams Limsoon Wong

Add to Reading List

Source URL: www.jsbi.org

Language: English - Date: 2001-02-21 03:28:36
38Formal Development with ABEL  ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics

Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2006-03-17 08:01:43
39MEMORIAL TALK J.P. MAY I owe an enormous debt of gratitude to Saunders Mac Lane. I came here to give a talk in the Spring ofThat was on the stable homotopy groups of spheres, still a topic

MEMORIAL TALK J.P. MAY I owe an enormous debt of gratitude to Saunders Mac Lane. I came here to give a talk in the Spring ofThat was on the stable homotopy groups of spheres, still a topic

Add to Reading List

Source URL: www.math.uchicago.edu

Language: English - Date: 2006-04-16 18:39:25