Patterns in Datatype−Generic Programming

Patterns in Datatype−Generic Programming

<em>Generic programming</em> consists of increasing the expressiveness of programs by allowing a wider variety of kinds of parameter than is usual. The most popular instance of this scheme is the C++ Standard Template Library. <em>Datatype-generic programming</em> is another...

Detaylı Bibliyografya
Yazar:	Gibbons, J
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	John von Neumann Institute for Computing (NIC) 2003

Benzer Materyaller

Datatype-generic programming
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2007)

Datatype−Generic Programming
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2007)

Design patterns as higher-order datatype-generic programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2006)

Parametric Datatype−Genericity
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Parametric Datatype-Genericity
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Datatype−Generic Programming
Baskı/Yayın Bilgisi: (2007)

Generic Programming for Indexed Datatypes
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Generic programming for indexed datatypes
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Spring School on Datatype−Generic Programming
Baskı/Yayın Bilgisi: (2007)

A Formal Comparison of Approaches to Datatype−Generic Programming
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

A Formal Comparison of Approaches to Datatype-Generic Programming
Yazar:: José Pedro Magalhães, ve diğerleri
Baskı/Yayın Bilgisi: (2012-02-01)

Comparing Datatype Generic Libraries in Haskell
Yazar:: Kiselyov, B
Baskı/Yayın Bilgisi: (2009)

A Lightweight Approach to Datatype−generic Rewriting
Yazar:: van Noort, T, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A lightweight approach to datatype−generic rewriting
Yazar:: van Noort, T, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Unfolding Abstract Datatypes
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2008)

Unfolding abstract datatypes
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2008)

On the semantics of nested datatypes
Yazar:: Martin, C, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

On the Semantics of Nested Datatypes
Yazar:: Martin, C, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Disciplined, efficient, generalised folds for nested datatypes
Yazar:: Martin, C, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Disciplined‚ efficient‚ generalised folds for nested datatypes
Yazar:: Martin, C, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Nested Datatypes
Yazar:: Bird, R, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Manufacturing Datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Manufacturing Datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Manufacturing datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (2001)

On Relational Analysis of Algebraic Datatypes
Yazar:: Kuncak, Viktor, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Polite Combination of Algebraic Datatypes
Yazar:: Sheng, Ying, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Generalised Folds for Nested Datatypes
Yazar:: Bird, R, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

OWL Datatypes: Design and Implementation.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
Yazar:: Sherman, Benjamin, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Polytypic Functions Over Nested Datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Higher−Order Functions and Structured Datatypes
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Polytypic Functions Over Nested Datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1998)

Polytypic Functions Over Nested Datatypes
Yazar:: Ralf Hinze
Baskı/Yayın Bilgisi: (1999-01-01)

Polytypic Functions Over Nested Datatypes
Yazar:: Ralf Hinze
Baskı/Yayın Bilgisi: (1999-12-01)

Generic and Indexed Programming
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Datatype ornamentation and the Dutch National Flag problem
Yazar:: Ko, H
Baskı/Yayın Bilgisi: (2011)