Polytypic Functions Over Nested Datatypes (Extended Abstract)

Polytypic Functions Over Nested Datatypes (Extended Abstract)

Bibliographic Details
Main Author:	Hinze, R
Format:	Conference item
Published:	1999

Similar Items

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

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

Polytypic Programming With Ease (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)

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)

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

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

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

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

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

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

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

de Bruijn Notation as a Nested Datatype
by: Bird, R, et al.
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)

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

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

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)

Full Abstraction for PCF (Extended Abstract)
by: Abramsky, S, et al.
Published: (1994)

Datatype−Generic Programming
Published: (2007)

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

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

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

Polytypism of layered MX2 materials
by: Wolpert, EH, et al.
Published: (2023)

Tractable Query Answering over Conceptual Schemata (Extended Abstract)
by: Calì, A, et al.
Published: (2010)

DISLOCATION MECHANISMS FOR TWINNING AND POLYTYPIC TRANSFORMATIONS IN SEMICONDUCTORS
by: Pirouz, P
Published: (1989)

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)