GADTless Programming in Haskell 98

GADTless Programming in Haskell 98

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Sulzmann, M, Wang, M
Ձևաչափ:	Record
Հրապարակվել է:	2006

Նմանատիպ նյութեր

Standard Libraries for the Haskell 98 Programming Language
‌: Augustsson, L, և այլն
Հրապարակվել է: (1999)

Standard Libraries for the Haskell 98 Programming Language
‌: [editor], P, և այլն
Հրապարակվել է: (1999)

Haskell 98 — A Non−strict‚ Purely Functional Language
‌: [editor], P, և այլն
Հրապարակվել է: (1999)

Programming in haskell /
‌: 266356 Hutton, Graham
Հրապարակվել է: (2007)

Libraries for Generic Programming in Haskell
‌: Jeuring, J, և այլն
Հրապարակվել է: (2008)

Libraries for Generic Programming in Haskell
‌: Jeuring, J, և այլն
Հրապարակվել է: (2009)

Learn Physics by Programming in Haskell
‌: Scott N. Walck
Հրապարակվել է: (2014-12-01)

Adaptation-Based Programming in Haskell
‌: Tim Bauer, և այլն
Հրապարակվել է: (2011-09-01)

Comparing Approaches to Generic Programming in Haskell
‌: Hinze, R, և այլն
Հրապարակվել է: (2007)

Introduction to Functional Programming Using Haskell
‌: Bird, R
Հրապարակվել է: (1998)

Comparing Libraries for Generic Programming in Haskell
‌: Kiselyov, B
Հրապարակվել է: (2008)

A Generic Programming Extension for Haskell
‌: Hinze, R
Հրապարակվել է: (1999)

Categories for the Working Haskeller
‌: Gibbons, J
Հրապարակվել է: (2014)

Generic Haskell: Applications
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

Generic Haskell: Applications
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

An Introduction to Liquid Haskell
‌: Ricardo Peña
Հրապարակվել է: (2017-01-01)

Intel Concurrent Collections for Haskell
‌: Newton, Ryan, և այլն
Հրապարակվել է: (2011)

The Generic Haskell user's guide
‌: Clarke, D, և այլն
Հրապարակվել է: (2001)

Giving Haskell a Promotion
‌: Yorgey, B, և այլն
Հրապարակվել է: (2012)

Generic Haskell: Practice and Theory
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

Generic Haskell: Practice and Theory
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

Fusion on Haskell Unicode Strings
‌: Harper, T
Հրապարակվել է: (2008)

Investigating Haskell for parallel processing
‌: Pahlevi Fikri Auliya
Հրապարակվել է: (2011)

Session Type Inference in Haskell
‌: Keigo Imai, և այլն
Հրապարակվել է: (2011-10-01)

Investigating STM in Haskell as an Alternative to Programming Systems with Shared Memory
‌: Ernâni Teixeira Liberali, և այլն
Հրապարակվել է: (2010-03-01)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
‌: Oliveira, B, և այլն
Հրապարակվել է: (2010)

A generic deriving mechanism for Haskell
‌: aes, J, և այլն
Հրապարակվել է: (2010)

Comparing Datatype Generic Libraries in Haskell
‌: Kiselyov, B
Հրապարակվել է: (2009)

Stream fusion on Haskell Unicode strings
‌: Harper, T
Հրապարակվել է: (2009)

Quantitative information flow with Monads in Haskell
‌: Gibbons, J, և այլն
Հրապարակվել է: (2020)

A generic deriving mechanism for Haskell
‌: aes, J, և այլն
Հրապարակվել է: (2010)

Type-Based Resource Analysis on Haskell
‌: Franz Siglmüller
Հրապարակվել է: (2019-08-01)

Learner experiences of a blended course incorporating a MOOC on Haskell functional programming
‌: Vicki H.M. Dale, և այլն
Հրապարակվել է: (2019-07-01)

Proceedings of the 2001 ACM SIGPLAN Haskell Workshop
Հրապարակվել է: (2001)

Investigating Compilation Errors of Students Learning Haskell
‌: Boldizsár Németh, և այլն
Հրապարակվել է: (2019-06-01)

Upon the Haskell support for the web applications development
‌: Vasilescu Anca
Հրապարակվել է: (2015-01-01)

Modular Generic Programming with Extensible Superclasses
‌: Sulzmann, M, և այլն
Հրապարակվել է: (2015)

Aspect−Oriented Programming with Type Classes
‌: Sulzmann, M, և այլն
Հրապարակվել է: (2007)

Hybrid eager and lazy evaluation for efficient compilation of Haskell
‌: Maessen, Jan-Willem
Հրապարակվել է: (2005)

Experience Report: A Haskell interpreter for CellML
‌: Cooper, J, և այլն
Հրապարակվել է: (2007)