Spring School on Datatype−Generic Programming

Spring School on Datatype−Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called <em>genericity</em> of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers...

Disgrifiad llawn

Manylion Llyfryddiaeth
Awduron Eraill:	Backhouse, R
Fformat:	Conference item
Cyhoeddwyd:	Springer−Verlag 2007

Eitemau Tebyg

Datatype−Generic Programming
Cyhoeddwyd: (2007)

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

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

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

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

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

Parametric Datatype−Genericity
gan: Gibbons, J, et al.
Cyhoeddwyd: (2009)

Parametric Datatype-Genericity
gan: Gibbons, J, et al.
Cyhoeddwyd: (2009)

Design patterns as higher-order datatype-generic programs
gan: Gibbons, J
Cyhoeddwyd: (2006)

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

Design Patterns as Higher−Order Datatype−Generic Programs
gan: Gibbons, J
Cyhoeddwyd: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
gan: Gibbons, J
Cyhoeddwyd: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
gan: Gibbons, J
Cyhoeddwyd: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
gan: Gibbons, J
Cyhoeddwyd: (2005)

Comparing Datatype Generic Libraries in Haskell
gan: Kiselyov, B
Cyhoeddwyd: (2009)

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)

Nested Datatypes
gan: Bird, R, et al.
Cyhoeddwyd: (1998)

Manufacturing Datatypes
gan: Hinze, R
Cyhoeddwyd: (1999)

Manufacturing Datatypes
gan: Hinze, R
Cyhoeddwyd: (1999)

Manufacturing datatypes
gan: Hinze, R
Cyhoeddwyd: (2001)

Summer School on Generic Programming
Cyhoeddwyd: (2003)

On the semantics of nested datatypes
gan: Martin, C, et al.
Cyhoeddwyd: (2001)

Unfolding Abstract Datatypes
gan: Gibbons, J
Cyhoeddwyd: (2008)

Unfolding abstract datatypes
gan: Gibbons, J
Cyhoeddwyd: (2008)

On the Semantics of Nested Datatypes
gan: Martin, C, et al.
Cyhoeddwyd: (2001)

Generic Generic Programming
gan: aes, J, et al.
Cyhoeddwyd: (2014)

On Relational Analysis of Algebraic Datatypes
gan: Kuncak, Viktor, et al.
Cyhoeddwyd: (2005)

Polite Combination of Algebraic Datatypes
gan: Sheng, Ying, et al.
Cyhoeddwyd: (2022)

Generalised Folds for Nested Datatypes
gan: Bird, R, et al.
Cyhoeddwyd: (1999)

OWL Datatypes: Design and Implementation.
gan: Motik, B, et al.
Cyhoeddwyd: (2008)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
gan: Sherman, Benjamin, et al.
Cyhoeddwyd: (2021)

Polytypic Functions Over Nested Datatypes
gan: Hinze, R
Cyhoeddwyd: (1999)

Higher−Order Functions and Structured Datatypes
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Polytypic Functions Over Nested Datatypes
gan: Hinze, R
Cyhoeddwyd: (1998)

Generic Programming
Cyhoeddwyd: (2003)

Datatype ornamentation and the Dutch National Flag problem
gan: Ko, H
Cyhoeddwyd: (2011)

de Bruijn Notation as a Nested Datatype
gan: Bird, R, et al.
Cyhoeddwyd: (1999)

Disciplined, efficient, generalised folds for nested datatypes
gan: Martin, C, et al.
Cyhoeddwyd: (2004)

Disciplined‚ efficient‚ generalised folds for nested datatypes
gan: Martin, C, et al.
Cyhoeddwyd: (2004)