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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Ko, H, Gibbons, J
Formáid:	Conference item
Foilsithe / Cruthaithe:	ACM 2013

Míreanna comhchosúla

Programming with ornaments
de réir: Ko, H, et al.
Foilsithe / Cruthaithe: (2016)

Categorical organisation of the ornament–refinement framework
de réir: Ko, H, et al.
Foilsithe / Cruthaithe: (2013)

Relating Algebraic and Coalgebraic Descriptions of Lenses
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2012)

Relational algebra by way of adjunctions
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2018)

Algebras for tree algorithms
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1991)

Algebras for Tree Algorithms
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1991)

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

An Initial−Algebra Approach to Directed Acyclic Graphs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1995)

Arabic ornaments = Ornements Arabes = Arabische ornamente = Arabskii ornament /
de réir: 379202 Schmidt, Clara
Foilsithe / Cruthaithe: (2007)

Algebraic Methods for Optimization Problems
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (2002)

Algebraic Methods for Optimization Problems
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (2002)

Algebraic methods for optimization problems
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (2002)

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
de réir: Mu, S, et al.
Foilsithe / Cruthaithe: (2009)

Arabic ornaments [electronic resource] = Ornements Arabes = Arabische ornamente = Arabskii ornament /
de réir: 379202 Schmidt, Clara
Foilsithe / Cruthaithe: (2007)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1999)

BCK-Algebras and Related Algebraic Systems
de réir: Young Bae Jun, et al.
Foilsithe / Cruthaithe: (2011-01-01)

Relation between dual S-algebras and BE-algebras
de réir: Arsham Borumand Saeid, et al.
Foilsithe / Cruthaithe: (2015-05-01)

A process-algebraic approach to workflow specification and refinement
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2007)

Rusts on Ornamentals in Florida
de réir: Philip F. Harmon, et al.
Foilsithe / Cruthaithe: (2009-06-01)

Rusts on Ornamentals in Florida
de réir: Philip F. Harmon, et al.
Foilsithe / Cruthaithe: (2009-06-01)

Rusts on Ornamentals in Florida
de réir: Philip F. Harmon, et al.
Foilsithe / Cruthaithe: (2009-06-01)

Type A Hecke algebras and related algebras
de réir: Erdmann, K
Foilsithe / Cruthaithe: (2004)

Relation Between Be-Algebras and G-Hilbert Algebras
de réir: Rezaei Akbar, et al.
Foilsithe / Cruthaithe: (2018-06-01)

Relative Salt Tolerance of Four Herbaceous Perennial Ornamentals
de réir: Triston Hooks, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Illustration and ornament
de réir: Kauffmann, M
Foilsithe / Cruthaithe: (2008)

The language of ornament /
de réir: 382652 Trilling, James
Foilsithe / Cruthaithe: (2001)

Islamic ornament /
de réir: 321506 Baer, Eva
Foilsithe / Cruthaithe: (1998)

Ornamental metalwork /
de réir: 450332 Magnani, Franco
Foilsithe / Cruthaithe: (1967)

Rapeseed as an Ornamental
de réir: Meili Xiao, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Defying Ornaments
de réir: Nissim Gal
Foilsithe / Cruthaithe: (2022-12-01)

Ornamental Costus
de réir: Dave Skinner
Foilsithe / Cruthaithe: (2016-11-01)

Ornamental Zingiberaceae
de réir: Tom Wood
Foilsithe / Cruthaithe: (1995-05-01)

Ornamental Crops
de réir: Balas Johannes
Foilsithe / Cruthaithe: (2018-12-01)

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
de réir: Brijesh Dongol, et al.
Foilsithe / Cruthaithe: (2021-02-01)

Cryptographic relational algebra /
de réir: 422274 Davida, George I., et al.

Hydraulic Relations and Water Use of Mediterranean Ornamental Shrubs in Containers
de réir: Zuccarini Paolo, et al.
Foilsithe / Cruthaithe: (2020-06-01)

The leading ornamental motif koshkar muyiz in Kazakh ornamentation: in search of the primordi
de réir: Sergali Suraganov
Foilsithe / Cruthaithe: (2021-11-01)

Ornamental “borderlands”: Elisabeth Wilson and Martin Heydrich’s historiographies of “primitive” ornament
de réir: Priyanka Basu
Foilsithe / Cruthaithe: (2015-06-01)