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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Ko, H, Gibbons, J
Fformat:	Conference item
Cyhoeddwyd:	ACM 2013

Eitemau Tebyg

Programming with ornaments
gan: Ko, H, et al.
Cyhoeddwyd: (2016)

Categorical organisation of the ornament–refinement framework
gan: Ko, H, et al.
Cyhoeddwyd: (2013)

Relating Algebraic and Coalgebraic Descriptions of Lenses
gan: Gibbons, J, et al.
Cyhoeddwyd: (2012)

Relational algebra by way of adjunctions
gan: Gibbons, J, et al.
Cyhoeddwyd: (2018)

Algebras for tree algorithms
gan: Gibbons, J
Cyhoeddwyd: (1991)

Algebras for Tree Algorithms
gan: Gibbons, J
Cyhoeddwyd: (1991)

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

Arabic ornaments = Ornements Arabes = Arabische ornamente = Arabskii ornament /
gan: 379202 Schmidt, Clara
Cyhoeddwyd: (2007)

An Initial−Algebra Approach to Directed Acyclic Graphs
gan: Gibbons, J
Cyhoeddwyd: (1995)

Algebraic Methods for Optimization Problems
gan: Bird, R, et al.
Cyhoeddwyd: (2002)

Algebraic Methods for Optimization Problems
gan: Bird, R, et al.
Cyhoeddwyd: (2002)

Algebraic methods for optimization problems
gan: Bird, R, et al.
Cyhoeddwyd: (2002)

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

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

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
gan: Gibbons, J
Cyhoeddwyd: (1999)

BCK-Algebras and Related Algebraic Systems
gan: Young Bae Jun, et al.
Cyhoeddwyd: (2011-01-01)

Rusts on Ornamentals in Florida
gan: Philip F. Harmon, et al.
Cyhoeddwyd: (2009-06-01)

Rusts on Ornamentals in Florida
gan: Philip F. Harmon, et al.
Cyhoeddwyd: (2009-06-01)

Rusts on Ornamentals in Florida
gan: Philip F. Harmon, et al.
Cyhoeddwyd: (2009-06-01)

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

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

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

Type A Hecke algebras and related algebras
gan: Erdmann, K
Cyhoeddwyd: (2004)

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

Illustration and ornament
gan: Kauffmann, M
Cyhoeddwyd: (2008)

The language of ornament /
gan: 382652 Trilling, James
Cyhoeddwyd: (2001)

Islamic ornament /
gan: 321506 Baer, Eva
Cyhoeddwyd: (1998)

Ornamental metalwork /
gan: 450332 Magnani, Franco
Cyhoeddwyd: (1967)

Rapeseed as an Ornamental
gan: Meili Xiao, et al.
Cyhoeddwyd: (2021-12-01)

Defying Ornaments
gan: Nissim Gal
Cyhoeddwyd: (2022-12-01)

Ornamental Costus
gan: Dave Skinner
Cyhoeddwyd: (2016-11-01)

Ornamental Zingiberaceae
gan: Tom Wood
Cyhoeddwyd: (1995-05-01)

Ornamental Crops
gan: Balas Johannes
Cyhoeddwyd: (2018-12-01)

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

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

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

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

Diseases of forest and ornamental trees /
gan: 202461 Phillips, D. H., et al.
Cyhoeddwyd: (1982)

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

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