Generic Programming for Indexed Datatypes

Generic Programming for Indexed Datatypes

Ցույց տալ այլ տարբերակներ (1)

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	aes, J, Jeuring, J
Ձևաչափ:	Report
Հրապարակվել է:	Department of Information and Computing Sciences‚ Utrecht University 2011

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

Generic programming for indexed datatypes
‌: aes, J, և այլն
Հրապարակվել է: (2011)

A Lightweight Approach to Datatype−generic Rewriting
‌: van Noort, T, և այլն
Հրապարակվել է: (2010)

A lightweight approach to datatype−generic rewriting
‌: van Noort, T, և այլն
Հրապարակվել է: (2010)

A Formal Comparison of Approaches to Datatype−Generic Programming
‌: aes, J, և այլն
Հրապարակվել է: (2012)

Datatype-generic programming
‌: Gibbons, J
Հրապարակվել է: (2007)

Datatype−Generic Programming
‌: Gibbons, J
Հրապարակվել է: (2007)

Datatype−Generic Programming
Հրապարակվել է: (2007)

Patterns in Datatype−Generic Programming
‌: Gibbons, J
Հրապարակվել է: (2003)

Parametric Datatype−Genericity
‌: Gibbons, J, և այլն
Հրապարակվել է: (2009)

Parametric Datatype-Genericity
‌: Gibbons, J, և այլն
Հրապարակվել է: (2009)

Spring School on Datatype−Generic Programming
Հրապարակվել է: (2007)

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

Generic Programming for Domain Reasoners
‌: Jeuring, J, և այլն
Հրապարակվել է: (2010)

Design patterns as higher-order datatype-generic programs
‌: Gibbons, J
Հրապարակվել է: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
‌: Gibbons, J
Հրապարակվել է: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
‌: Gibbons, J
Հրապարակվել է: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
‌: Gibbons, J
Հրապարակվել է: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
‌: Gibbons, J
Հրապարակվել է: (2006)

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

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

A Formal Comparison of Approaches to Datatype-Generic Programming
‌: José Pedro Magalhães, և այլն
Հրապարակվել է: (2012-02-01)

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

Generic programming with indexed functors
‌: Löh, A, և այլն
Հրապարակվել է: (2011)

Optimizing Generics Is Easy!
‌: aes, J, և այլն
Հրապարակվել է: (2009)

Generic selections of subexpressions
‌: van Steenbergen, M, և այլն
Հրապարակվել է: (2010)

Optimizing Generics Is Easy!
‌: aes, J, և այլն
Հրապարակվել է: (2010)

Generic Generic Programming
‌: aes, J, և այլն
Հրապարակվել է: (2014)

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

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

Generic Programming with Multiple Parameters
‌: aes, J
Հրապարակվել է: (2014)

The right kind of generic programming
‌: aes, J
Հրապարակվել է: (2012)

Optimisation of Generic Programs through Inlining
‌: aes, J
Հրապարակվել է: (2013)

Optimisation of Generic Programs Through Inlining
‌: aes, J
Հրապարակվել է: (2013)

Unfolding Abstract Datatypes
‌: Gibbons, J
Հրապարակվել է: (2008)

Unfolding abstract datatypes
‌: Gibbons, J
Հրապարակվել է: (2008)

Nested Datatypes
‌: Bird, R, և այլն
Հրապարակվել է: (1998)

Manufacturing Datatypes
‌: Hinze, R
Հրապարակվել է: (1999)

Manufacturing Datatypes
‌: Hinze, R
Հրապարակվել է: (1999)

Manufacturing datatypes
‌: Hinze, R
Հրապարակվել է: (2001)

On the semantics of nested datatypes
‌: Martin, C, և այլն
Հրապարակվել է: (2001)