Generic Programming for Indexed Datatypes

Generic Programming for Indexed Datatypes

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	aes, J, Jeuring, J
Formáid:	Report
Foilsithe / Cruthaithe:	Department of Information and Computing Sciences‚ Utrecht University 2011

Míreanna comhchosúla

Generic programming for indexed datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

A Lightweight Approach to Datatype−generic Rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

A lightweight approach to datatype−generic rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

A Formal Comparison of Approaches to Datatype−Generic Programming
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2012)

Datatype-generic programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2007)

Datatype−Generic Programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2007)

Datatype−Generic Programming
Foilsithe / Cruthaithe: (2007)

Patterns in Datatype−Generic Programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2003)

Parametric Datatype−Genericity
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2009)

Parametric Datatype-Genericity
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2009)

Spring School on Datatype−Generic Programming
Foilsithe / Cruthaithe: (2007)

Generic Programming for Domain Reasoners
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2009)

Generic Programming for Domain Reasoners
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2010)

Design patterns as higher-order datatype-generic programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2006)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2008)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2009)

A Formal Comparison of Approaches to Datatype-Generic Programming
de réir: José Pedro Magalhães, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Comparing Datatype Generic Libraries in Haskell
de réir: Kiselyov, B
Foilsithe / Cruthaithe: (2009)

Generic programming with indexed functors
de réir: Löh, A, et al.
Foilsithe / Cruthaithe: (2011)

Optimizing Generics Is Easy!
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2009)

Generic selections of subexpressions
de réir: van Steenbergen, M, et al.
Foilsithe / Cruthaithe: (2010)

Optimizing Generics Is Easy!
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

Generic Generic Programming
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2014)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

Generic Programming with Multiple Parameters
de réir: aes, J
Foilsithe / Cruthaithe: (2014)

The right kind of generic programming
de réir: aes, J
Foilsithe / Cruthaithe: (2012)

Optimisation of Generic Programs through Inlining
de réir: aes, J
Foilsithe / Cruthaithe: (2013)

Optimisation of Generic Programs Through Inlining
de réir: aes, J
Foilsithe / Cruthaithe: (2013)

Unfolding Abstract Datatypes
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2008)

Unfolding abstract datatypes
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2008)

Nested Datatypes
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (1998)

Manufacturing Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Manufacturing Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Manufacturing datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (2001)

On the semantics of nested datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2001)