Generic Programming for Indexed Datatypes

Generic Programming for Indexed Datatypes

Show other versions (1)

Manylion Llyfryddiaeth
Prif Awduron:	aes, J, Jeuring, J
Fformat:	Report
Cyhoeddwyd:	Department of Information and Computing Sciences‚ Utrecht University 2011

Eitemau Tebyg

Generic programming for indexed datatypes
gan: aes, J, et al.
Cyhoeddwyd: (2011)

A Lightweight Approach to Datatype−generic Rewriting
gan: van Noort, T, et al.
Cyhoeddwyd: (2010)

A lightweight approach to datatype−generic rewriting
gan: van Noort, T, et al.
Cyhoeddwyd: (2010)

A Formal Comparison of Approaches to Datatype−Generic Programming
gan: aes, J, et al.
Cyhoeddwyd: (2012)

Datatype-generic programming
gan: Gibbons, J
Cyhoeddwyd: (2007)

Datatype−Generic Programming
gan: Gibbons, J
Cyhoeddwyd: (2007)

Datatype−Generic Programming
Cyhoeddwyd: (2007)

Patterns in Datatype−Generic Programming
gan: Gibbons, J
Cyhoeddwyd: (2003)

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

Parametric Datatype−Genericity
gan: Gibbons, J, et al.
Cyhoeddwyd: (2009)

Parametric Datatype-Genericity
gan: Gibbons, J, et al.
Cyhoeddwyd: (2009)

Generic Programming for Domain Reasoners
gan: Jeuring, J, et al.
Cyhoeddwyd: (2010)

Generic Programming for Domain Reasoners
gan: Jeuring, J, et al.
Cyhoeddwyd: (2009)

Generic programming with indexed functors
gan: Löh, A, et al.
Cyhoeddwyd: (2011)

Libraries for Generic Programming in Haskell
gan: Jeuring, J, et al.
Cyhoeddwyd: (2008)

Libraries for Generic Programming in Haskell
gan: Jeuring, J, et al.
Cyhoeddwyd: (2009)

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

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

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

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

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

Generic Generic Programming
gan: aes, J, et al.
Cyhoeddwyd: (2014)

Comparing Datatype Generic Libraries in Haskell
gan: Kiselyov, B
Cyhoeddwyd: (2009)

Optimizing Generics Is Easy!
gan: aes, J, et al.
Cyhoeddwyd: (2009)

Generic selections of subexpressions
gan: van Steenbergen, M, et al.
Cyhoeddwyd: (2010)

Optimizing Generics Is Easy!
gan: aes, J, et al.
Cyhoeddwyd: (2010)

Generic Programming with Multiple Parameters
gan: aes, J
Cyhoeddwyd: (2014)

The right kind of generic programming
gan: aes, J
Cyhoeddwyd: (2012)

A generic deriving mechanism for Haskell
gan: aes, J, et al.
Cyhoeddwyd: (2010)

A generic deriving mechanism for Haskell
gan: aes, J, et al.
Cyhoeddwyd: (2010)

Optimisation of Generic Programs through Inlining
gan: aes, J
Cyhoeddwyd: (2013)

Optimisation of Generic Programs Through Inlining
gan: aes, J
Cyhoeddwyd: (2013)

Generic and Indexed Programming
gan: Gibbons, J, et al.
Cyhoeddwyd: (2007)

Generic and Indexed Programming
Cyhoeddwyd: (2012)

Comparing Approaches to Generic Programming in Haskell
gan: Hinze, R, et al.
Cyhoeddwyd: (2007)

Less Is More: Generic Programming Theory and Practice
gan: Magalh aes, J
Cyhoeddwyd: (2012)

Generic Haskell: Applications
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Generic Haskell: Applications
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Generic Haskell: Practice and Theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Generic Haskell: Practice and Theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)