Generic Generic Programming

Generic Generic Programming

Manylion Llyfryddiaeth
Prif Awduron:	aes, J, Löh, A
Awduron Eraill:	Flatt, M
Fformat:	Llyfr
Cyhoeddwyd:	2014

Eitemau Tebyg

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

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

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

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

Generic Programming for Indexed Datatypes
gan: aes, J, et al.
Cyhoeddwyd: (2011)

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

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

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

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

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

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)

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

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

Less Is More: Generic Programming Theory and Practice
gan: Magalh 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)

Generic Programming‚ Now!
gan: Hinze, R, et al.
Cyhoeddwyd: (2007)

Generic Representations of Tree Transformations
gan: Bransen, J, et al.
Cyhoeddwyd: (2013)

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

Generic programming in 3D
gan: Hinze, R, et al.
Cyhoeddwyd: (2009)

Generic Programming in 3D
gan: Hinze, R, et al.
Cyhoeddwyd: (2007)

Generic Programming in 3D
gan: Hinze, R, et al.
Cyhoeddwyd: (2009)

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

Generic Programming
Cyhoeddwyd: (2003)

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

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

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

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)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
gan: Oliveira, B, et al.
Cyhoeddwyd: (2010)

Datatype−Generic Programming
Cyhoeddwyd: (2007)

Generic and Indexed Programming
Cyhoeddwyd: (2012)

Generic Programs and Proofs
gan: Hinze, R
Cyhoeddwyd: (2000)

Generic Programming with Adjunctions
gan: Hinze, R
Cyhoeddwyd: (2012)

Generic Programming in OCaml
gan: Florent Balestrieri, et al.
Cyhoeddwyd: (2018-12-01)

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

A Formal Comparison of Approaches to Datatype-Generic Programming
gan: José Pedro Magalhães, et al.
Cyhoeddwyd: (2012-02-01)

Generics as a Library
gan: dos Santos Oliveira, B, et al.
Cyhoeddwyd: (2006)

Special Issue on Generic Programming
gan: Hinze, R
Cyhoeddwyd: (2010)