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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Ko, H, Gibbons, J
Định dạng:	Conference item
Được phát hành:	ACM 2013

Những quyển sách tương tự

Programming with ornaments
Bằng: Ko, H, et al.
Được phát hành: (2016)

Categorical organisation of the ornament–refinement framework
Bằng: Ko, H, et al.
Được phát hành: (2013)

Relating Algebraic and Coalgebraic Descriptions of Lenses
Bằng: Gibbons, J, et al.
Được phát hành: (2012)

Relational algebra by way of adjunctions
Bằng: Gibbons, J, et al.
Được phát hành: (2018)

Algebras for tree algorithms
Bằng: Gibbons, J
Được phát hành: (1991)

Algebras for Tree Algorithms
Bằng: Gibbons, J
Được phát hành: (1991)

Datatype ornamentation and the Dutch National Flag problem
Bằng: Ko, H
Được phát hành: (2011)

An Initial−Algebra Approach to Directed Acyclic Graphs
Bằng: Gibbons, J
Được phát hành: (1995)

Arabic ornaments = Ornements Arabes = Arabische ornamente = Arabskii ornament /
Bằng: 379202 Schmidt, Clara
Được phát hành: (2007)

Algebraic Methods for Optimization Problems
Bằng: Bird, R, et al.
Được phát hành: (2002)

Algebraic Methods for Optimization Problems
Bằng: Bird, R, et al.
Được phát hành: (2002)

Algebraic methods for optimization problems
Bằng: Bird, R, et al.
Được phát hành: (2002)

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Bằng: Mu, S, et al.
Được phát hành: (2009)

Arabic ornaments [electronic resource] = Ornements Arabes = Arabische ornamente = Arabskii ornament /
Bằng: 379202 Schmidt, Clara
Được phát hành: (2007)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
Bằng: Gibbons, J
Được phát hành: (1999)

BCK-Algebras and Related Algebraic Systems
Bằng: Young Bae Jun, et al.
Được phát hành: (2011-01-01)

Relation between dual S-algebras and BE-algebras
Bằng: Arsham Borumand Saeid, et al.
Được phát hành: (2015-05-01)

A process-algebraic approach to workflow specification and refinement
Bằng: Wong, P, et al.
Được phát hành: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
Bằng: Wong, P, et al.
Được phát hành: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
Bằng: Wong, P, et al.
Được phát hành: (2007)

Rusts on Ornamentals in Florida
Bằng: Philip F. Harmon, et al.
Được phát hành: (2009-06-01)

Rusts on Ornamentals in Florida
Bằng: Philip F. Harmon, et al.
Được phát hành: (2009-06-01)

Rusts on Ornamentals in Florida
Bằng: Philip F. Harmon, et al.
Được phát hành: (2009-06-01)

Type A Hecke algebras and related algebras
Bằng: Erdmann, K
Được phát hành: (2004)

Relation Between Be-Algebras and G-Hilbert Algebras
Bằng: Rezaei Akbar, et al.
Được phát hành: (2018-06-01)

Relative Salt Tolerance of Four Herbaceous Perennial Ornamentals
Bằng: Triston Hooks, et al.
Được phát hành: (2019-05-01)

Illustration and ornament
Bằng: Kauffmann, M
Được phát hành: (2008)

The language of ornament /
Bằng: 382652 Trilling, James
Được phát hành: (2001)

Islamic ornament /
Bằng: 321506 Baer, Eva
Được phát hành: (1998)

Ornamental metalwork /
Bằng: 450332 Magnani, Franco
Được phát hành: (1967)

Rapeseed as an Ornamental
Bằng: Meili Xiao, et al.
Được phát hành: (2021-12-01)

Defying Ornaments
Bằng: Nissim Gal
Được phát hành: (2022-12-01)

Ornamental Costus
Bằng: Dave Skinner
Được phát hành: (2016-11-01)

Ornamental Zingiberaceae
Bằng: Tom Wood
Được phát hành: (1995-05-01)

Ornamental Crops
Bằng: Balas Johannes
Được phát hành: (2018-12-01)

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Bằng: Brijesh Dongol, et al.
Được phát hành: (2021-02-01)

Cryptographic relational algebra /
Bằng: 422274 Davida, George I., et al.

Hydraulic Relations and Water Use of Mediterranean Ornamental Shrubs in Containers
Bằng: Zuccarini Paolo, et al.
Được phát hành: (2020-06-01)

The leading ornamental motif koshkar muyiz in Kazakh ornamentation: in search of the primordi
Bằng: Sergali Suraganov
Được phát hành: (2021-11-01)

Ornamental “borderlands”: Elisabeth Wilson and Martin Heydrich’s historiographies of “primitive” ornament
Bằng: Priyanka Basu
Được phát hành: (2015-06-01)