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)