Relational algebraic ornaments

Relational algebraic ornaments

<p>Dependently typed programming is hard, because ideally dependently typed programs should share structure with their correctness proofs, but there are very few guidelines on how one can arrive at such integrated programs. McBride’s <em>algebraic ornamentation</em> provides a meth...

書目詳細資料
Main Authors:	Ko, H, Gibbons, J
格式:	Conference item
出版:	ACM 2013

相似書籍

Programming with ornaments
由: Ko, H, et al.
出版: (2016)

Categorical organisation of the ornament–refinement framework
由: Ko, H, et al.
出版: (2013)

Relating Algebraic and Coalgebraic Descriptions of Lenses
由: Gibbons, J, et al.
出版: (2012)

Relational algebra by way of adjunctions
由: Gibbons, J, et al.
出版: (2018)

Algebras for tree algorithms
由: Gibbons, J
出版: (1991)

Algebras for Tree Algorithms
由: Gibbons, J
出版: (1991)

Datatype ornamentation and the Dutch National Flag problem
由: Ko, H
出版: (2011)

Arabic ornaments = Ornements Arabes = Arabische ornamente = Arabskii ornament /
由: 379202 Schmidt, Clara
出版: (2007)

An Initial−Algebra Approach to Directed Acyclic Graphs
由: Gibbons, J
出版: (1995)

Algebraic Methods for Optimization Problems
由: Bird, R, et al.
出版: (2002)

Algebraic Methods for Optimization Problems
由: Bird, R, et al.
出版: (2002)

Algebraic methods for optimization problems
由: Bird, R, et al.
出版: (2002)

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
由: Mu, S, et al.
出版: (2009)

Arabic ornaments [electronic resource] = Ornements Arabes = Arabische ornamente = Arabskii ornament /
由: 379202 Schmidt, Clara
出版: (2007)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
由: Gibbons, J
出版: (1999)

BCK-Algebras and Related Algebraic Systems
由: Young Bae Jun, et al.
出版: (2011-01-01)

Rusts on Ornamentals in Florida
由: Philip F. Harmon, et al.
出版: (2009-06-01)

Rusts on Ornamentals in Florida
由: Philip F. Harmon, et al.
出版: (2009-06-01)

Rusts on Ornamentals in Florida
由: Philip F. Harmon, et al.
出版: (2009-06-01)

A process-algebraic approach to workflow specification and refinement
由: Wong, P, et al.
出版: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
由: Wong, P, et al.
出版: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
由: Wong, P, et al.
出版: (2007)

Type A Hecke algebras and related algebras
由: Erdmann, K
出版: (2004)

Relation Between Be-Algebras and G-Hilbert Algebras
由: Rezaei Akbar, et al.
出版: (2018-06-01)

Illustration and ornament
由: Kauffmann, M
出版: (2008)

The language of ornament /
由: 382652 Trilling, James
出版: (2001)

Islamic ornament /
由: 321506 Baer, Eva
出版: (1998)

Ornamental metalwork /
由: 450332 Magnani, Franco
出版: (1967)

Rapeseed as an Ornamental
由: Meili Xiao, et al.
出版: (2021-12-01)

Defying Ornaments
由: Nissim Gal
出版: (2022-12-01)

Ornamental Costus
由: Dave Skinner
出版: (2016-11-01)

Ornamental Zingiberaceae
由: Tom Wood
出版: (1995-05-01)

Ornamental Crops
由: Balas Johannes
出版: (2018-12-01)

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
由: Brijesh Dongol, et al.
出版: (2021-02-01)

The leading ornamental motif koshkar muyiz in Kazakh ornamentation: in search of the primordi
由: Sergali Suraganov
出版: (2021-11-01)

Ornamental “borderlands”: Elisabeth Wilson and Martin Heydrich’s historiographies of “primitive” ornament
由: Priyanka Basu
出版: (2015-06-01)

Cryptographic relational algebra /
由: 422274 Davida, George I., et al.

Diseases of forest and ornamental trees /
由: 202461 Phillips, D. H., et al.
出版: (1982)

Preemergence Herbicides for Use in Ornamentals
由: Robert H. Stamps, et al.
出版: (2019-05-01)

Preemergence Herbicides for Use in Ornamentals
由: Robert H. Stamps, et al.
出版: (2019-05-01)