Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
41	ZU064-05-FPR paper 22 August 2012 Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2012-08-22 02:54:14 Software engineering Computer programming Computing Functional programming Object-oriented programming languages Programming paradigms Functional languages Object-oriented programming Monad Mixin Arrow Haskell
42	Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Computing Functional languages Functional programming Object-oriented programming languages Scripting languages Type theory Haskell Cabal Monad Type class
43	First Order Haskell Neil Mitchell York University www.cs.york.ac.uk/~ndm λ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold Oz Monad Map XS Haskell features
44	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
45	Behavior-Driven Development in Haskell a tutorial introduction Simon Hengel Wimdu GmbH Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Software engineering Computer programming Software development Functional languages Haskell Functional programming Behavior-driven development Monad FIBS Fib Subroutine Standard Performance Evaluation Corporation
46	CHAPTER VI. NUMBERS — LOGISTICAL, FORMAL AND APPLIED. (THE GROUND OF ARTES — THE MONAS — ALCHEMY; I. Accession of Elizabeth — Dee taken into favour — commences period of fame and success. Add to Reading List Source URL: www.johndee.org Language: English - Date: 1996-08-24 18:32:27 Enochian magic Hermeticists John Dee Mystics Monas Hieroglyphica Monad Enochian
47	Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2016-01-08 10:06:08 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Type system Glasgow Haskell Compiler Haskell Monad Principal type
48	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
49	© ACM, 2016. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the Haskell Works Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-08-12 17:11:25 Build automation Compiling tools Glasgow Haskell Compiler Make Haskell Automake Cabal Apache Ant Include directive Monad Yi
50	Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016 Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-06-08 08:30:38 Object-oriented programming Inheritance Method Subtyping Liskov substitution principle Is-a Class Eiffel Monad Subroutine Covariance and contravariance

UPDATE