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

Bibliografske podrobnosti
Main Authors:	Ko, H, Gibbons, J
Format:	Conference item
Izdano:	ACM 2013

Podobne knjige/članki

Programming with ornaments
od: Ko, H, et al.
Izdano: (2016)

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

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

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

Algebras for tree algorithms
od: Gibbons, J
Izdano: (1991)

Algebras for Tree Algorithms
od: Gibbons, J
Izdano: (1991)

Datatype ornamentation and the Dutch National Flag problem
od: Ko, H
Izdano: (2011)

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

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

Algebraic Methods for Optimization Problems
od: Bird, R, et al.
Izdano: (2002)

Algebraic Methods for Optimization Problems
od: Bird, R, et al.
Izdano: (2002)

Algebraic methods for optimization problems
od: Bird, R, et al.
Izdano: (2002)

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

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

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

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

Relation between dual S-algebras and BE-algebras
od: Arsham Borumand Saeid, et al.
Izdano: (2015-05-01)

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

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

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

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

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

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

Type A Hecke algebras and related algebras
od: Erdmann, K
Izdano: (2004)

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

Relative Salt Tolerance of Four Herbaceous Perennial Ornamentals
od: Triston Hooks, et al.
Izdano: (2019-05-01)

Illustration and ornament
od: Kauffmann, M
Izdano: (2008)

The language of ornament /
od: 382652 Trilling, James
Izdano: (2001)

Islamic ornament /
od: 321506 Baer, Eva
Izdano: (1998)

Ornamental metalwork /
od: 450332 Magnani, Franco
Izdano: (1967)

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

Defying Ornaments
od: Nissim Gal
Izdano: (2022-12-01)

Ornamental Costus
od: Dave Skinner
Izdano: (2016-11-01)

Ornamental Zingiberaceae
od: Tom Wood
Izdano: (1995-05-01)

Ornamental Crops
od: Balas Johannes
Izdano: (2018-12-01)

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

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

Hydraulic Relations and Water Use of Mediterranean Ornamental Shrubs in Containers
od: Zuccarini Paolo, et al.
Izdano: (2020-06-01)

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

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