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...

書誌詳細
その他の著者:	Backhouse, R
フォーマット:	Conference item
出版事項:	Springer−Verlag 2007

類似資料

Datatype−Generic Programming
出版事項: (2007)

Datatype-generic programming
著者:: Gibbons, J
出版事項: (2007)

Datatype−Generic Programming
著者:: Gibbons, J
出版事項: (2007)

Generic Programming for Indexed Datatypes
著者:: aes, J, 等
出版事項: (2011)

Generic programming for indexed datatypes
著者:: aes, J, 等
出版事項: (2011)

Patterns in Datatype−Generic Programming
著者:: Gibbons, J
出版事項: (2003)

Parametric Datatype−Genericity
著者:: Gibbons, J, 等
出版事項: (2009)

Parametric Datatype-Genericity
著者:: Gibbons, J, 等
出版事項: (2009)

Design patterns as higher-order datatype-generic programs
著者:: Gibbons, J
出版事項: (2006)

A Formal Comparison of Approaches to Datatype−Generic Programming
著者:: aes, J, 等
出版事項: (2012)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2005)

Comparing Datatype Generic Libraries in Haskell
著者:: Kiselyov, B
出版事項: (2009)

A Lightweight Approach to Datatype−generic Rewriting
著者:: van Noort, T, 等
出版事項: (2010)

A lightweight approach to datatype−generic rewriting
著者:: van Noort, T, 等
出版事項: (2010)

Summer School on Generic Programming
出版事項: (2003)

Nested Datatypes
著者:: Bird, R, 等
出版事項: (1998)

Manufacturing Datatypes
著者:: Hinze, R
出版事項: (1999)

Manufacturing Datatypes
著者:: Hinze, R
出版事項: (1999)

Manufacturing datatypes
著者:: Hinze, R
出版事項: (2001)

On the semantics of nested datatypes
著者:: Martin, C, 等
出版事項: (2001)

Unfolding Abstract Datatypes
著者:: Gibbons, J
出版事項: (2008)

Unfolding abstract datatypes
著者:: Gibbons, J
出版事項: (2008)

On the Semantics of Nested Datatypes
著者:: Martin, C, 等
出版事項: (2001)

Generic Generic Programming
著者:: aes, J, 等
出版事項: (2014)

On Relational Analysis of Algebraic Datatypes
著者:: Kuncak, Viktor, 等
出版事項: (2005)

Polite Combination of Algebraic Datatypes
著者:: Sheng, Ying, 等
出版事項: (2022)

Generalised Folds for Nested Datatypes
著者:: Bird, R, 等
出版事項: (1999)

OWL Datatypes: Design and Implementation.
著者:: Motik, B, 等
出版事項: (2008)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
著者:: Sherman, Benjamin, 等
出版事項: (2021)

Generic Programming
出版事項: (2003)

Polytypic Functions Over Nested Datatypes
著者:: Hinze, R
出版事項: (1999)

Higher−Order Functions and Structured Datatypes
著者:: Benedikt, M, 等
出版事項: (2012)

Polytypic Functions Over Nested Datatypes
著者:: Hinze, R
出版事項: (1998)

24.921 Special Topics in Linguistics: Genericity, Spring 2007
著者:: Menéndez-Benito, Paula
出版事項: (2023)

Datatype ornamentation and the Dutch National Flag problem
著者:: Ko, H
出版事項: (2011)

de Bruijn Notation as a Nested Datatype
著者:: Bird, R, 等
出版事項: (1999)

Disciplined, efficient, generalised folds for nested datatypes
著者:: Martin, C, 等
出版事項: (2004)