Generic Functional Programming with Types and Relations

Generic Functional Programming with Types and Relations

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Bird, R, de Moor, O, Hoogendijk, P
Μορφή:	Journal article
Έκδοση:	1996

Παρόμοια τεκμήρια

Relational Program Derivation and Context−Free Language Recognition
ανά: Bird, R, κ.ά.
Έκδοση: (1994)

The Algebra of Programming
ανά: Bird, R, κ.ά.
Έκδοση: (1996)

Hybrid Dynamic Programming
ανά: Bird, R, κ.ά.
Έκδοση: (1994)

Generic Generic Programming
ανά: aes, J, κ.ά.
Έκδοση: (2014)

From Dynamic Programming to Greedy Algorithms
ανά: Bird, R, κ.ά.
Έκδοση: (1993)

A New Approach to Generic Functional Programming
ανά: Hinze, R
Έκδοση: (1999)

A new approach to generic functional programming
ανά: Hinze, R
Έκδοση: (2000)

Generic Programming
Έκδοση: (2003)

Generic Programs and Proofs
ανά: Hinze, R
Έκδοση: (2000)

Generic Programming with Adjunctions
ανά: Hinze, R
Έκδοση: (2012)

Generic Programming‚ Now!
ανά: Hinze, R, κ.ά.
Έκδοση: (2007)

Pointwise relational programming
ανά: de Moor, O, κ.ά.
Έκδοση: (2000)

Pointwise Relational Programming
ανά: de Moor, O, κ.ά.
Έκδοση: (2000)

Special Issue on Generic Programming
ανά: Hinze, R
Έκδοση: (2010)

Datatype−Generic Programming
Έκδοση: (2007)

Generic and Indexed Programming
Έκδοση: (2012)

Datatype-generic programming
ανά: Gibbons, J
Έκδοση: (2007)

Generic and Indexed Programming
ανά: Gibbons, J, κ.ά.
Έκδοση: (2007)

Datatype−Generic Programming
ανά: Gibbons, J
Έκδοση: (2007)

Generic Programming in OCaml
ανά: Florent Balestrieri, κ.ά.
Έκδοση: (2018-12-01)

Generic programming in 3D
ανά: Hinze, R, κ.ά.
Έκδοση: (2009)

Generic Programming in 3D
ανά: Hinze, R, κ.ά.
Έκδοση: (2007)

Generic Programming in 3D
ανά: Hinze, R, κ.ά.
Έκδοση: (2009)

Special Issue on Generic Programming Editorial
ανά: Hinze, R
Έκδοση: (2010)

Special issue on generic programming editorial
ανά: Hinze, R
Έκδοση: (2010)

A Generic Programming Extension for Haskell
ανά: Hinze, R
Έκδοση: (1999)

Generic Programming for Indexed Datatypes
ανά: aes, J, κ.ά.
Έκδοση: (2011)

Generic Models of the Laws of Programming
ανά: Hoare, T
Έκδοση: (2013)

Libraries for Generic Programming in Haskell
ανά: Jeuring, J, κ.ά.
Έκδοση: (2008)

Generic programming with indexed functors
ανά: Löh, A, κ.ά.
Έκδοση: (2011)

Generic programming for indexed datatypes
ανά: aes, J, κ.ά.
Έκδοση: (2011)

Generic Programming for Domain Reasoners
ανά: Jeuring, J, κ.ά.
Έκδοση: (2009)

Generic Programming with Multiple Parameters
ανά: aes, J
Έκδοση: (2014)

Generic Programming for Domain Reasoners
ανά: Jeuring, J, κ.ά.
Έκδοση: (2010)

Libraries for Generic Programming in Haskell
ανά: Jeuring, J, κ.ά.
Έκδοση: (2009)

Summer School on Generic Programming
Έκδοση: (2003)

Patterns in Datatype−Generic Programming
ανά: Gibbons, J
Έκδοση: (2003)

The right kind of generic programming
ανά: aes, J
Έκδοση: (2012)

Visual C++ generic programming /
ανά: Shammas, Namir Clement, 1954-
Έκδοση: (1994)

Generic programming for Borland C++ /
ανά: Shammas, Namir Clement, 1954-
Έκδοση: (1991)