Giving Haskell a Promotion

Giving Haskell a Promotion

Xehetasun bibliografikoak
Egile Nagusiak:	Yorgey, B, Weirich, S, Cretin, J, Jones, S, Vytiniotis, D, aes, J
Formatua:	Conference item
Argitaratua:	ACM 2012

Antzeko izenburuak

Libraries for Generic Programming in Haskell
nork: Jeuring, J, et al.
Argitaratua: (2008)

Libraries for Generic Programming in Haskell
nork: Jeuring, J, et al.
Argitaratua: (2009)

A generic deriving mechanism for Haskell
nork: aes, J, et al.
Argitaratua: (2010)

A generic deriving mechanism for Haskell
nork: aes, J, et al.
Argitaratua: (2010)

Equality proofs and deferred type errors: a compiler pearl
nork: Vytiniotis, D, et al.
Argitaratua: (2012)

Categories for the Working Haskeller
nork: Gibbons, J
Argitaratua: (2014)

Programming in haskell /
nork: 266356 Hutton, Graham
Argitaratua: (2007)

Generic Haskell: Applications
nork: Hinze, R, et al.
Argitaratua: (2003)

Generic Haskell: Applications
nork: Hinze, R, et al.
Argitaratua: (2003)

The Generic Haskell user's guide
nork: Clarke, D, et al.
Argitaratua: (2001)

Generic Haskell: Practice and Theory
nork: Hinze, R, et al.
Argitaratua: (2003)

Generic Haskell: Practice and Theory
nork: Hinze, R, et al.
Argitaratua: (2003)

An Introduction to Liquid Haskell
nork: Ricardo Peña
Argitaratua: (2017-01-01)

Standard Libraries for the Haskell 98 Programming Language
nork: Augustsson, L, et al.
Argitaratua: (1999)

Standard Libraries for the Haskell 98 Programming Language
nork: [editor], P, et al.
Argitaratua: (1999)

Comparing Approaches to Generic Programming in Haskell
nork: Hinze, R, et al.
Argitaratua: (2007)

Quantitative information flow with Monads in Haskell
nork: Gibbons, J, et al.
Argitaratua: (2020)

Intel Concurrent Collections for Haskell
nork: Newton, Ryan, et al.
Argitaratua: (2011)

GADTless Programming in Haskell 98
nork: Sulzmann, M, et al.
Argitaratua: (2006)

Fusion on Haskell Unicode Strings
nork: Harper, T
Argitaratua: (2008)

Investigating Haskell for parallel processing
nork: Pahlevi Fikri Auliya
Argitaratua: (2011)

Learn Physics by Programming in Haskell
nork: Scott N. Walck
Argitaratua: (2014-12-01)

Session Type Inference in Haskell
nork: Keigo Imai, et al.
Argitaratua: (2011-10-01)

Adaptation-Based Programming in Haskell
nork: Tim Bauer, et al.
Argitaratua: (2011-09-01)

Comparing Libraries for Generic Programming in Haskell
nork: Kiselyov, B
Argitaratua: (2008)

Comparing Datatype Generic Libraries in Haskell
nork: Kiselyov, B
Argitaratua: (2009)

Haskell 98 — A Non−strict‚ Purely Functional Language
nork: [editor], P, et al.
Argitaratua: (1999)

A Generic Programming Extension for Haskell
nork: Hinze, R
Argitaratua: (1999)

Introduction to Functional Programming Using Haskell
nork: Bird, R
Argitaratua: (1998)

Stream fusion on Haskell Unicode strings
nork: Harper, T
Argitaratua: (2009)

Type-Based Resource Analysis on Haskell
nork: Franz Siglmüller
Argitaratua: (2019-08-01)

Experience Report: A Haskell interpreter for CellML
nork: Cooper, J, et al.
Argitaratua: (2007)

Experience Report: A Haskell Interpreter for CellML
nork: Cooper, J, et al.
Argitaratua: (2007)

Proceedings of the 2001 ACM SIGPLAN Haskell Workshop
Argitaratua: (2001)

Investigating Compilation Errors of Students Learning Haskell
nork: Boldizsár Németh, et al.
Argitaratua: (2019-06-01)

Upon the Haskell support for the web applications development
nork: Vasilescu Anca
Argitaratua: (2015-01-01)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
nork: Oliveira, B, et al.
Argitaratua: (2010)

BioShake: a Haskell EDSL for bioinformatics workflows
nork: Justin Bedő
Argitaratua: (2019-07-01)

A Simple Parallel Implementation of Interaction Nets in Haskell
nork: Wolfram Kahl
Argitaratua: (2015-04-01)

Hybrid eager and lazy evaluation for efficient compilation of Haskell
nork: Maessen, Jan-Willem
Argitaratua: (2005)