Polytypic Functions Over Nested Datatypes

Polytypic Functions Over Nested Datatypes

Show other versions (1)

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

Similar Items

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

Polytypic Functions Over Nested Datatypes
by: Ralf Hinze
Published: (1999-01-01)

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

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

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

Memo functions‚ polytypically!
by: Hinze, R
Published: (2000)

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

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

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

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

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

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

Polytypic Programming With Ease
by: Hinze, R
Published: (1999)

Polytypic Programming With Ease
by: Hinze, R
Published: (2001)

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

Polytypic Programming With Ease (Extended Abstract)
by: Hinze, R
Published: (1999)

Polytypic values possess polykinded types
by: Hinze, R
Published: (1999)

Polytypic values possess polykinded types
by: Hinze, R
Published: (2015)

Polytypic Values Possess Polykinded Types
by: Hinze, R
Published: (2000)

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)

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

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)

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

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

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

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

Polytypic Downwards Accumulations
by: Gibbons, J
Published: (1998)

AN EQUILIBRIUM-THEORY OF POLYTYPISM
by: Yeomans, J, et al.
Published: (1986)

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)

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

THE APPLICATION OF THE ANNNI MODEL TO POLYTYPIC BEHAVIOR
by: Price, G, et al.
Published: (1984)