On the semantics of nested datatypes

On the semantics of nested datatypes

Show other versions (1)

The initial algebra semantics of nested datatypes was proved to be valid in a wide class of categories. There is a unique morphism from each initial functional algebra to any other functional algebra. folds are standard operators in functional programming and satisfy fusion laws that are useful for...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Martin, C, Gibbons, J
Format:	Journal article
Sprog:	English
Udgivet:	2001

Lignende værker

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

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

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

Nested Datatypes
af: Bird, R, et al.
Udgivet: (1998)

Generalised Folds for Nested Datatypes
af: Bird, R, et al.
Udgivet: (1999)

Polytypic Functions Over Nested Datatypes
af: Ralf Hinze
Udgivet: (1999-01-01)

Polytypic Functions Over Nested Datatypes
af: Ralf Hinze
Udgivet: (1999-12-01)

Polytypic Functions Over Nested Datatypes
af: Hinze, R
Udgivet: (1999)

Polytypic Functions Over Nested Datatypes
af: Hinze, R
Udgivet: (1998)

Datatype-generic programming
af: Gibbons, J
Udgivet: (2007)

Unfolding Abstract Datatypes
af: Gibbons, J
Udgivet: (2008)

Unfolding abstract datatypes
af: Gibbons, J
Udgivet: (2008)

Datatype−Generic Programming
af: Gibbons, J
Udgivet: (2007)

Parametric Datatype−Genericity
af: Gibbons, J, et al.
Udgivet: (2009)

Parametric Datatype-Genericity
af: Gibbons, J, et al.
Udgivet: (2009)

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

Numerical Representations as Higher−Order Nested Datatypes
af: Hinze, R
Udgivet: (1998)

Patterns in Datatype−Generic Programming
af: Gibbons, J
Udgivet: (2003)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
af: Hinze, R
Udgivet: (1999)

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

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

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

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

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

Manufacturing datatypes
af: Hinze, R
Udgivet: (2001)

Manufacturing Datatypes
af: Hinze, R
Udgivet: (1999)

Manufacturing Datatypes
af: Hinze, R
Udgivet: (1999)

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

Datatype−Generic Programming
Udgivet: (2007)

Generic Programming for Indexed Datatypes
af: aes, J, et al.
Udgivet: (2011)

Generic programming for indexed datatypes
af: aes, J, et al.
Udgivet: (2011)

Polite Combination of Algebraic Datatypes
af: Sheng, Ying, et al.
Udgivet: (2022)

OWL Datatypes: Design and Implementation.
af: Motik, B, et al.
Udgivet: (2008)

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

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

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

Comparing Datatype Generic Libraries in Haskell
af: Kiselyov, B
Udgivet: (2009)

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

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

UTypes: A library for uncertain datatypes in Python
af: Carlos Javier Fernández-Candel, et al.
Udgivet: (2024-05-01)