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)