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

Полное описание

Библиографические подробности
Главные авторы:	Ko, H, Gibbons, J
Формат:	Conference item
Опубликовано:	ACM 2013

Схожие документы

Programming with ornaments
по: Ko, H, и др.
Опубликовано: (2016)

Categorical organisation of the ornament–refinement framework
по: Ko, H, и др.
Опубликовано: (2013)

Relating Algebraic and Coalgebraic Descriptions of Lenses
по: Gibbons, J, и др.
Опубликовано: (2012)

Relational algebra by way of adjunctions
по: Gibbons, J, и др.
Опубликовано: (2018)

Algebras for tree algorithms
по: Gibbons, J
Опубликовано: (1991)

Algebras for Tree Algorithms
по: Gibbons, J
Опубликовано: (1991)

Datatype ornamentation and the Dutch National Flag problem
по: Ko, H
Опубликовано: (2011)

An Initial−Algebra Approach to Directed Acyclic Graphs
по: Gibbons, J
Опубликовано: (1995)

Arabic ornaments = Ornements Arabes = Arabische ornamente = Arabskii ornament /
по: 379202 Schmidt, Clara
Опубликовано: (2007)

Algebraic Methods for Optimization Problems
по: Bird, R, и др.
Опубликовано: (2002)

Algebraic Methods for Optimization Problems
по: Bird, R, и др.
Опубликовано: (2002)

Algebraic methods for optimization problems
по: Bird, R, и др.
Опубликовано: (2002)

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
по: Mu, S, и др.
Опубликовано: (2009)

Arabic ornaments [electronic resource] = Ornements Arabes = Arabische ornamente = Arabskii ornament /
по: 379202 Schmidt, Clara
Опубликовано: (2007)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
по: Gibbons, J
Опубликовано: (1999)

BCK-Algebras and Related Algebraic Systems
по: Young Bae Jun, и др.
Опубликовано: (2011-01-01)

Relation between dual S-algebras and BE-algebras
по: Arsham Borumand Saeid, и др.
Опубликовано: (2015-05-01)

A process-algebraic approach to workflow specification and refinement
по: Wong, P, и др.
Опубликовано: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
по: Wong, P, и др.
Опубликовано: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
по: Wong, P, и др.
Опубликовано: (2007)

Rusts on Ornamentals in Florida
по: Philip F. Harmon, и др.
Опубликовано: (2009-06-01)

Rusts on Ornamentals in Florida
по: Philip F. Harmon, и др.
Опубликовано: (2009-06-01)

Rusts on Ornamentals in Florida
по: Philip F. Harmon, и др.
Опубликовано: (2009-06-01)

Type A Hecke algebras and related algebras
по: Erdmann, K
Опубликовано: (2004)

Relation Between Be-Algebras and G-Hilbert Algebras
по: Rezaei Akbar, и др.
Опубликовано: (2018-06-01)

Relative Salt Tolerance of Four Herbaceous Perennial Ornamentals
по: Triston Hooks, и др.
Опубликовано: (2019-05-01)

Illustration and ornament
по: Kauffmann, M
Опубликовано: (2008)

The language of ornament /
по: 382652 Trilling, James
Опубликовано: (2001)

Islamic ornament /
по: 321506 Baer, Eva
Опубликовано: (1998)

Ornamental metalwork /
по: 450332 Magnani, Franco
Опубликовано: (1967)

Rapeseed as an Ornamental
по: Meili Xiao, и др.
Опубликовано: (2021-12-01)

Defying Ornaments
по: Nissim Gal
Опубликовано: (2022-12-01)

Ornamental Costus
по: Dave Skinner
Опубликовано: (2016-11-01)

Ornamental Zingiberaceae
по: Tom Wood
Опубликовано: (1995-05-01)

Ornamental Crops
по: Balas Johannes
Опубликовано: (2018-12-01)

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
по: Brijesh Dongol, и др.
Опубликовано: (2021-02-01)

Cryptographic relational algebra /
по: 422274 Davida, George I., и др.

Hydraulic Relations and Water Use of Mediterranean Ornamental Shrubs in Containers
по: Zuccarini Paolo, и др.
Опубликовано: (2020-06-01)

The leading ornamental motif koshkar muyiz in Kazakh ornamentation: in search of the primordi
по: Sergali Suraganov
Опубликовано: (2021-11-01)

Ornamental “borderlands”: Elisabeth Wilson and Martin Heydrich’s historiographies of “primitive” ornament
по: Priyanka Basu
Опубликовано: (2015-06-01)