Unfolding Abstract Datatypes

Unfolding Abstract Datatypes

他のバージョン（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...

書誌詳細
第一著者:	Gibbons, J
フォーマット:	Conference item
出版事項:	2008

類似資料

Unfolding abstract datatypes
著者:: Gibbons, J
出版事項: (2008)

Datatype-generic programming
著者:: Gibbons, J
出版事項: (2007)

Datatype−Generic Programming
著者:: Gibbons, J
出版事項: (2007)

Parametric Datatype−Genericity
著者:: Gibbons, J, 等
出版事項: (2009)

On the semantics of nested datatypes
著者:: Martin, C, 等
出版事項: (2001)

On the Semantics of Nested Datatypes
著者:: Martin, C, 等
出版事項: (2001)

Parametric Datatype-Genericity
著者:: Gibbons, J, 等
出版事項: (2009)

Patterns in Datatype−Generic Programming
著者:: Gibbons, J
出版事項: (2003)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
著者:: Hinze, R
出版事項: (1999)

Design patterns as higher-order datatype-generic programs
著者:: Gibbons, J
出版事項: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2006)

Disciplined, efficient, generalised folds for nested datatypes
著者:: Martin, C, 等
出版事項: (2004)

Disciplined‚ efficient‚ generalised folds for nested datatypes
著者:: Martin, C, 等
出版事項: (2004)

Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
著者:: Jan A. Bergstra
出版事項: (2020-08-01)

Nested Datatypes
著者:: Bird, R, 等
出版事項: (1998)

Manufacturing Datatypes
著者:: Hinze, R
出版事項: (1999)

Manufacturing Datatypes
著者:: Hinze, R
出版事項: (1999)

Manufacturing datatypes
著者:: Hinze, R
出版事項: (2001)

Datatype−Generic Programming
出版事項: (2007)

Generic Programming for Indexed Datatypes
著者:: aes, J, 等
出版事項: (2011)

Generic programming for indexed datatypes
著者:: aes, J, 等
出版事項: (2011)

OWL Datatypes: Design and Implementation.
著者:: Motik, B, 等
出版事項: (2008)

On Relational Analysis of Algebraic Datatypes
著者:: Kuncak, Viktor, 等
出版事項: (2005)

Polite Combination of Algebraic Datatypes
著者:: Sheng, Ying, 等
出版事項: (2022)

Generalised Folds for Nested Datatypes
著者:: Bird, R, 等
出版事項: (1999)

Abstract interpretation with unfoldings
著者:: Sousa, M, 等
出版事項: (2017)

Polytypic Functions Over Nested Datatypes
著者:: Hinze, R
出版事項: (1999)

Spring School on Datatype−Generic Programming
出版事項: (2007)

Higher−Order Functions and Structured Datatypes
著者:: Benedikt, M, 等
出版事項: (2012)

Polytypic Functions Over Nested Datatypes
著者:: Hinze, R
出版事項: (1998)

Comparing Datatype Generic Libraries in Haskell
著者:: Kiselyov, B
出版事項: (2009)

Polytypic Functions Over Nested Datatypes
著者:: Ralf Hinze
出版事項: (1999-01-01)

Polytypic Functions Over Nested Datatypes
著者:: Ralf Hinze
出版事項: (1999-12-01)

A Lightweight Approach to Datatype−generic Rewriting
著者:: van Noort, T, 等
出版事項: (2010)

A lightweight approach to datatype−generic rewriting
著者:: van Noort, T, 等
出版事項: (2010)

Datatype ornamentation and the Dutch National Flag problem
著者:: Ko, H
出版事項: (2011)

de Bruijn Notation as a Nested Datatype
著者:: Bird, R, 等
出版事項: (1999)