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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Ko, H, Gibbons, J
Format:	Conference item
Udgivet:	ACM 2013

Lignende værker

Programming with ornaments
af: Ko, H, et al.
Udgivet: (2016)

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

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

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

Algebras for tree algorithms
af: Gibbons, J
Udgivet: (1991)

Algebras for Tree Algorithms
af: Gibbons, J
Udgivet: (1991)

Datatype ornamentation and the Dutch National Flag problem
af: Ko, H
Udgivet: (2011)

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

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

Algebraic Methods for Optimization Problems
af: Bird, R, et al.
Udgivet: (2002)

Algebraic Methods for Optimization Problems
af: Bird, R, et al.
Udgivet: (2002)

Algebraic methods for optimization problems
af: Bird, R, et al.
Udgivet: (2002)

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

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

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

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

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

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

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

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

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

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

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

Type A Hecke algebras and related algebras
af: Erdmann, K
Udgivet: (2004)

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

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

Illustration and ornament
af: Kauffmann, M
Udgivet: (2008)

The language of ornament /
af: 382652 Trilling, James
Udgivet: (2001)

Islamic ornament /
af: 321506 Baer, Eva
Udgivet: (1998)

Ornamental metalwork /
af: 450332 Magnani, Franco
Udgivet: (1967)

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

Defying Ornaments
af: Nissim Gal
Udgivet: (2022-12-01)

Ornamental Costus
af: Dave Skinner
Udgivet: (2016-11-01)

Ornamental Zingiberaceae
af: Tom Wood
Udgivet: (1995-05-01)

Ornamental Crops
af: Balas Johannes
Udgivet: (2018-12-01)

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

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

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

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

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