Generalized algebraic data type

Results: 55



#Item
1DSLs in Haskell Ryan Newton Back-end

DSLs in Haskell Ryan Newton Back-end

Add to Reading List

Source URL: vjovanov.github.io

Language: English - Date: 2016-08-07 07:28:53
2Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes

Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2011-06-24 04:56:27
3System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu  Richard A. Eisenberg

System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2013-08-06 17:30:04
4Visible 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
5HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1

HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2014-06-12 03:57:46
6Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg  ABSTRACT

Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2014-03-18 17:06:31
7Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu

Visible Type Application (Extended version) 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: 2015-10-16 15:01:14
8Deriving Generic Functions by Example

Deriving Generic Functions by Example

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
9Transformation and Analysis of Haskell Source Code λ  ⊥

Transformation and Analysis of Haskell Source Code λ ⊥

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
10HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract

HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract

Add to Reading List

Source URL: www.bioinf.uni-leipzig.de

Language: English - Date: 2013-05-14 07:18:32