Generic programming for indexed datatypes

Generic programming for indexed datatypes

Pokaži ostale verzije (1)

Bibliografski detalji
Glavni autori:	aes, J, Jeuring, J
Format:	Conference item
Izdano:	ACM 2011

Slični predmeti

Generic Programming for Indexed Datatypes
od: aes, J, i dr.
Izdano: (2011)

A Lightweight Approach to Datatype−generic Rewriting
od: van Noort, T, i dr.
Izdano: (2010)

A lightweight approach to datatype−generic rewriting
od: van Noort, T, i dr.
Izdano: (2010)

A Formal Comparison of Approaches to Datatype−Generic Programming
od: aes, J, i dr.
Izdano: (2012)

Datatype-generic programming
od: Gibbons, J
Izdano: (2007)

Datatype−Generic Programming
od: Gibbons, J
Izdano: (2007)

Datatype−Generic Programming
Izdano: (2007)

Patterns in Datatype−Generic Programming
od: Gibbons, J
Izdano: (2003)

Parametric Datatype−Genericity
od: Gibbons, J, i dr.
Izdano: (2009)

Parametric Datatype-Genericity
od: Gibbons, J, i dr.
Izdano: (2009)

Spring School on Datatype−Generic Programming
Izdano: (2007)

Generic Programming for Domain Reasoners
od: Jeuring, J, i dr.
Izdano: (2009)

Generic Programming for Domain Reasoners
od: Jeuring, J, i dr.
Izdano: (2010)

Design patterns as higher-order datatype-generic programs
od: Gibbons, J
Izdano: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
od: Gibbons, J
Izdano: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
od: Gibbons, J
Izdano: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
od: Gibbons, J
Izdano: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
od: Gibbons, J
Izdano: (2006)

Libraries for Generic Programming in Haskell
od: Jeuring, J, i dr.
Izdano: (2008)

Libraries for Generic Programming in Haskell
od: Jeuring, J, i dr.
Izdano: (2009)

A Formal Comparison of Approaches to Datatype-Generic Programming
od: José Pedro Magalhães, i dr.
Izdano: (2012-02-01)

Comparing Datatype Generic Libraries in Haskell
od: Kiselyov, B
Izdano: (2009)

Generic programming with indexed functors
od: Löh, A, i dr.
Izdano: (2011)

Optimizing Generics Is Easy!
od: aes, J, i dr.
Izdano: (2009)

Generic selections of subexpressions
od: van Steenbergen, M, i dr.
Izdano: (2010)

Optimizing Generics Is Easy!
od: aes, J, i dr.
Izdano: (2010)

Generic Generic Programming
od: aes, J, i dr.
Izdano: (2014)

A generic deriving mechanism for Haskell
od: aes, J, i dr.
Izdano: (2010)

A generic deriving mechanism for Haskell
od: aes, J, i dr.
Izdano: (2010)

Generic Programming with Multiple Parameters
od: aes, J
Izdano: (2014)

The right kind of generic programming
od: aes, J
Izdano: (2012)

Optimisation of Generic Programs through Inlining
od: aes, J
Izdano: (2013)

Optimisation of Generic Programs Through Inlining
od: aes, J
Izdano: (2013)

Unfolding Abstract Datatypes
od: Gibbons, J
Izdano: (2008)

Unfolding abstract datatypes
od: Gibbons, J
Izdano: (2008)

Nested Datatypes
od: Bird, R, i dr.
Izdano: (1998)

Manufacturing Datatypes
od: Hinze, R
Izdano: (1999)

Manufacturing Datatypes
od: Hinze, R
Izdano: (1999)

Manufacturing datatypes
od: Hinze, R
Izdano: (2001)

On the semantics of nested datatypes
od: Martin, C, i dr.
Izdano: (2001)