Monad

Results: 766



#Item
41ZU064-05-FPR paper 22 August 2012

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
42Hoogle 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

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
43First Order Haskell Neil Mitchell York University www.cs.york.ac.uk/~ndm λ

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
44A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University

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
45Behavior-Driven Development in Haskell a tutorial introduction Simon Hengel Wimdu GmbH

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
46CHAPTER 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.

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
47Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu

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
48Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2

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
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

© 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
50Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016

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