One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole-Reference-Cited by-同舟云学术

One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole

Published:1999 Issue: Volume: Page:95-107
ISSN:0302-9743
Container-title:Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science
language:
Short-container-title:

Author:

Frank Andrew U.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48384-5_7

Reference25 articles.

1. Abadi, M., and L. Cardelli, A Theory of Objects. Monographs in Computer Science. Springer-Verlag, New York (1996).

2. Asperti, A., and G. Longo, Categories, Types and Structures-An Introduction to Category Theory for the Working Computer Scientist. The MIT Press, Cambridge, MA (1991).

3. Barr, M., and C. Wells, Category Theory for Computing Science. Prentice Hall, London (1990).

4. Bird, R., and O. de Moore, Algebra of Programming. Prentice Hall, London (1997)

5. Birkhoff, G., and J.D. Lipson, Heterogeneous Algebras. Journal of Combinatorial Theory (1970) 8: 115–133.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Algorithmic complexity of shape grammar implementation;Artificial Intelligence for Engineering Design, Analysis and Manufacturing;2018-05

2. Designing Spatio-Temporal PIM Tools for Prospective Memory Support;Lecture Notes in Geoinformation and Cartography;2014

3. Fields as a Generic Data Type for Big Spatial Data;Geographic Information Science;2014

4. Researching Cognitive and Linguistic Aspects of Geographic Space: Las Navas Then and Now;Lecture Notes in Geoinformation and Cartography;2013

5. TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development;Advances in Geoinformatics;2007