Datatype−Generic Programming

Datatype−Generic Programming

Taispeáin leaganacha eile (1)

<em>Generic programming</em> aims to increase the flexibility of programming languages, by expanding the possibilities for parametrization — ideally, without also expanding the possibilities for uncaught errors. The term means different things to different people: <em>parametric po...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Gibbons, J
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer−Verlag 2007

Míreanna comhchosúla

Datatype-generic programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2007)

Patterns in Datatype−Generic Programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2003)

Parametric Datatype−Genericity
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2009)

Datatype−Generic Programming
Foilsithe / Cruthaithe: (2007)

Parametric Datatype-Genericity
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2009)

Generic Programming for Indexed Datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

Generic programming for indexed datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

Design patterns as higher-order datatype-generic programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2005)

Spring School on Datatype−Generic Programming
Foilsithe / Cruthaithe: (2007)

A Formal Comparison of Approaches to Datatype−Generic Programming
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2012)

Comparing Datatype Generic Libraries in Haskell
de réir: Kiselyov, B
Foilsithe / Cruthaithe: (2009)

A Lightweight Approach to Datatype−generic Rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

A lightweight approach to datatype−generic rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

Unfolding Abstract Datatypes
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2008)

Unfolding abstract datatypes
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2008)

On the semantics of nested datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2001)

On the Semantics of Nested Datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2001)

Disciplined, efficient, generalised folds for nested datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2004)

Disciplined‚ efficient‚ generalised folds for nested datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2004)

Nested Datatypes
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (1998)

Manufacturing Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Manufacturing Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Manufacturing datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (2001)

Generic and Indexed Programming
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2007)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
de réir: Oliveira, B, et al.
Foilsithe / Cruthaithe: (2010)

Generic Generic Programming
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2014)

On Relational Analysis of Algebraic Datatypes
de réir: Kuncak, Viktor, et al.
Foilsithe / Cruthaithe: (2005)

Polite Combination of Algebraic Datatypes
de réir: Sheng, Ying, et al.
Foilsithe / Cruthaithe: (2022)

Generalised Folds for Nested Datatypes
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (1999)

OWL Datatypes: Design and Implementation.
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2008)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
de réir: Sherman, Benjamin, et al.
Foilsithe / Cruthaithe: (2021)

Polytypic Functions Over Nested Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Higher−Order Functions and Structured Datatypes
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Polytypic Functions Over Nested Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1998)

Generic Programming
Foilsithe / Cruthaithe: (2003)

Generic Downwards Accumulations
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2000)