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...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Gibbons, J
Format:	Conference item
Udgivet:	2008

Lignende værker

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

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

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

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

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

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

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

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)

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)

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

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

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

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

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

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)

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)

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

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

Abstract interpretation with unfoldings
af: Sousa, M, et al.
Udgivet: (2017)

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

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

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

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

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

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

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

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)

Datatype ornamentation and the Dutch National Flag problem
af: Ko, H
Udgivet: (2011)

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