Manufacturing Datatypes

Manufacturing Datatypes

Show other versions (2)

Bibliographic Details
Main Author:	Hinze, R
Format:	Report
Published:	Institut für Informatik III‚ Universität Bonn 1999

Similar Items

Manufacturing Datatypes
by: Hinze, R
Published: (1999)

Manufacturing datatypes
by: Hinze, R
Published: (2001)

Polytypic Functions Over Nested Datatypes
by: Hinze, R
Published: (1999)

Polytypic Functions Over Nested Datatypes
by: Hinze, R
Published: (1998)

Numerical Representations as Higher−Order Nested Datatypes
by: Hinze, R
Published: (1998)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
by: Hinze, R
Published: (1999)

Nested Datatypes
by: Bird, R, et al.
Published: (1998)

Parametric Datatype−Genericity
by: Gibbons, J, et al.
Published: (2009)

Parametric Datatype-Genericity
by: Gibbons, J, et al.
Published: (2009)

Datatype−Generic Programming
Published: (2007)

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

Datatype-generic programming
by: Gibbons, J
Published: (2007)

Unfolding Abstract Datatypes
by: Gibbons, J
Published: (2008)

Unfolding abstract datatypes
by: Gibbons, J
Published: (2008)

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

Datatype−Generic Programming
by: Gibbons, J
Published: (2007)

Generalised Folds for Nested Datatypes
by: Bird, R, et al.
Published: (1999)

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

Polite Combination of Algebraic Datatypes
by: Sheng, Ying, et al.
Published: (2022)

Generic Programming for Indexed Datatypes
by: aes, J, et al.
Published: (2011)

Generic programming for indexed datatypes
by: aes, J, et al.
Published: (2011)

OWL Datatypes: Design and Implementation.
by: Motik, B, et al.
Published: (2008)

Patterns in Datatype−Generic Programming
by: Gibbons, J
Published: (2003)

Spring School on Datatype−Generic Programming
Published: (2007)

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

Comparing Datatype Generic Libraries in Haskell
by: Kiselyov, B
Published: (2009)

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

A Lightweight Approach to Datatype−generic Rewriting
by: van Noort, T, et al.
Published: (2010)

A lightweight approach to datatype−generic rewriting
by: van Noort, T, et al.
Published: (2010)

Datatype ornamentation and the Dutch National Flag problem
by: Ko, H
Published: (2011)

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

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

Tractable Extensions of the Description Logic EL with Numerical Datatypes
by: Magka, D, et al.
Published: (2015)

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

Tractable Extensions of the Description Logic EL with Numerical Datatypes
by: Magka, D, et al.
Published: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
by: Magka, D, et al.
Published: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
by: Magka, D, et al.
Published: (2010)

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

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

Tractable Extensions of the Description Logic EL with Numerical Datatypes
by: Kazakov, D, et al.
Published: (2011)