Unfolding Abstract Datatypes

Unfolding Abstract Datatypes

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Gibbons, J
Formáid:	Conference item
Foilsithe / Cruthaithe:	2008

Míreanna comhchosúla

Unfolding abstract datatypes
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2008)

Datatype-generic programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2007)

Datatype−Generic Programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2007)

Parametric Datatype−Genericity
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2009)

On the semantics of nested datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2001)

On the Semantics of Nested Datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2001)

Parametric Datatype-Genericity
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2009)

Patterns in Datatype−Generic Programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2003)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Design patterns as higher-order datatype-generic programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2006)

Disciplined, efficient, generalised folds for nested datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2004)

Disciplined‚ efficient‚ generalised folds for nested datatypes
de réir: Martin, C, et al.
Foilsithe / Cruthaithe: (2004)

Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
de réir: Jan A. Bergstra
Foilsithe / Cruthaithe: (2020-08-01)

Nested Datatypes
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (1998)

Manufacturing Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Manufacturing Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Manufacturing datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (2001)

Datatype−Generic Programming
Foilsithe / Cruthaithe: (2007)

Generic Programming for Indexed Datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

Generic programming for indexed datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

OWL Datatypes: Design and Implementation.
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2008)

On Relational Analysis of Algebraic Datatypes
de réir: Kuncak, Viktor, et al.
Foilsithe / Cruthaithe: (2005)

Polite Combination of Algebraic Datatypes
de réir: Sheng, Ying, et al.
Foilsithe / Cruthaithe: (2022)

Generalised Folds for Nested Datatypes
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (1999)

Abstract interpretation with unfoldings
de réir: Sousa, M, et al.
Foilsithe / Cruthaithe: (2017)

Polytypic Functions Over Nested Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Spring School on Datatype−Generic Programming
Foilsithe / Cruthaithe: (2007)

Higher−Order Functions and Structured Datatypes
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Polytypic Functions Over Nested Datatypes
de réir: Hinze, R
Foilsithe / Cruthaithe: (1998)

Comparing Datatype Generic Libraries in Haskell
de réir: Kiselyov, B
Foilsithe / Cruthaithe: (2009)

Polytypic Functions Over Nested Datatypes
de réir: Ralf Hinze
Foilsithe / Cruthaithe: (1999-01-01)

Polytypic Functions Over Nested Datatypes
de réir: Ralf Hinze
Foilsithe / Cruthaithe: (1999-12-01)

A Lightweight Approach to Datatype−generic Rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

A lightweight approach to datatype−generic rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

Datatype ornamentation and the Dutch National Flag problem
de réir: Ko, H
Foilsithe / Cruthaithe: (2011)

de Bruijn Notation as a Nested Datatype
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (1999)