Unfolding Abstract Datatypes

Unfolding Abstract Datatypes

Show other versions (1)

Abstract datatypes — with public interfaces hiding private implementations — represent a form of codata rather than ordinary data, and so proof methods for corecursive programs are the appropriate techniques to use for reasoning with them. In particular, we show that the universal properties of unfo...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Gibbons, J
Fformat:	Conference item
Cyhoeddwyd:	2008

Eitemau Tebyg

Unfolding abstract datatypes
gan: Gibbons, J
Cyhoeddwyd: (2008)

Datatype-generic programming
gan: Gibbons, J
Cyhoeddwyd: (2007)

Datatype−Generic Programming
gan: Gibbons, J
Cyhoeddwyd: (2007)

Parametric Datatype−Genericity
gan: Gibbons, J, et al.
Cyhoeddwyd: (2009)

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

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

Parametric Datatype-Genericity
gan: Gibbons, J, et al.
Cyhoeddwyd: (2009)

Patterns in Datatype−Generic Programming
gan: Gibbons, J
Cyhoeddwyd: (2003)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
gan: Hinze, R
Cyhoeddwyd: (1999)

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

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

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

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

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

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

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

Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
gan: Jan A. Bergstra
Cyhoeddwyd: (2020-08-01)

Nested Datatypes
gan: Bird, R, et al.
Cyhoeddwyd: (1998)

Manufacturing Datatypes
gan: Hinze, R
Cyhoeddwyd: (1999)

Manufacturing Datatypes
gan: Hinze, R
Cyhoeddwyd: (1999)

Manufacturing datatypes
gan: Hinze, R
Cyhoeddwyd: (2001)

Datatype−Generic Programming
Cyhoeddwyd: (2007)

Generic Programming for Indexed Datatypes
gan: aes, J, et al.
Cyhoeddwyd: (2011)

Generic programming for indexed datatypes
gan: aes, J, et al.
Cyhoeddwyd: (2011)

OWL Datatypes: Design and Implementation.
gan: Motik, B, et al.
Cyhoeddwyd: (2008)

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

Polite Combination of Algebraic Datatypes
gan: Sheng, Ying, et al.
Cyhoeddwyd: (2022)

Generalised Folds for Nested Datatypes
gan: Bird, R, et al.
Cyhoeddwyd: (1999)

Abstract interpretation with unfoldings
gan: Sousa, M, et al.
Cyhoeddwyd: (2017)

Polytypic Functions Over Nested Datatypes
gan: Hinze, R
Cyhoeddwyd: (1999)

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

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

Polytypic Functions Over Nested Datatypes
gan: Hinze, R
Cyhoeddwyd: (1998)

Comparing Datatype Generic Libraries in Haskell
gan: Kiselyov, B
Cyhoeddwyd: (2009)

Polytypic Functions Over Nested Datatypes
gan: Ralf Hinze
Cyhoeddwyd: (1999-01-01)

Polytypic Functions Over Nested Datatypes
gan: Ralf Hinze
Cyhoeddwyd: (1999-12-01)

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

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

Datatype ornamentation and the Dutch National Flag problem
gan: Ko, H
Cyhoeddwyd: (2011)

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