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)