Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
31	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 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
32	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 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
33	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 Computing Software engineering Computer programming Functional programming Monad Haskell Echo
34	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 Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur
35	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 Algebra Mathematics Functional programming Category Pullback Grothendieck topology Adjoint functors Norm Arrow Monad Limit Functor
36	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 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
37	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 Software Graph drawing software Adjoint functors Graphviz Monad Heinrich Kleisli YEd Pedigree Olog Modularity Chart
38	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 Computer programming Software engineering Mathematics Recursion Programming idioms Computability theory Functions and mappings Subroutines Monad Primitive recursive function Function Subtyping
39	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 Category theory Mathematics Algebra Functors Monad Saunders Mac Lane Natural transformation Derived functor Olog

UPDATE