Towards Soft Typing in Computer Algebra

Towards Soft Typing in Computer Algebra (1998)

Cached

Download Links

[www.unilim.fr]

by Dominique Duval , Christian Lair

BibTeX

@MISC{Duval98towardssoft,
    author = {Dominique Duval and Christian Lair},
    title = {Towards Soft Typing in Computer Algebra},
    year = {1998}
}

Bookmark

OpenURL

Abstract

Citations

1225	The essence of functional programming - Wadler - 1992
816	S.: Categories for the working mathematician - Lane - 1998
651	Notions of computation and monads - Moggi - 1991
369	Category Theory for Computing Science - Barr, Wells - 1990
22	D-oids: model for dynamic data types - Astesiano, Zucca - 1995
18	Introduction to the theory of structured categories - Ehresmann - 1996
18	Esquisses et types de structures algébriques - Ehresmann - 1968
15	Algebraic specifications with implicit state. Rapport de Recherche 887, Univ. de Paris-Sud, Laboratoire de Recherche en Informatique - Dauchy, Gaudel - 1994
15	The linear abstract machine. Theoretical Computer Science, 59(1– 2):157–180 - Lafont - 1988
7	Integration paradigm for data type and process speci techniques - Ehrig, Orejas - 1998
6	Leçons de Théorie des Esquisses - Coppey, Lair - 1984
6	Trames et sémantiques catégoriques des systèmes de trames - Lair - 1987
5	types can change the world!” in Programming Concepts and - Wadler, “Linear - 1990
4	Sketches and computation (part I): Basic definitions and static evaluation - Duval, Reynaud - 1994
4	Limites et colimites pour representer les formules - Guitart, Lair - 1982
4	Dynamically Typed Computations for Order-Sorted Equational Presentations. Pages 450--461 of - Hintermeier, Kirchner - 1994
3	Abstract errors for abstract data types. Formal Description of Programing Concepts - Goguen - 1978
2	Categorical abstract data types. Diagrammes 21 - Lellahi - 1989
1	Forthcoming papers on ribbon product and its applications - Duval, Lair
1	Sketches and computation (Part II): Dynamic Evaluation and - Duval, Reynaud - 1994
1	An initial algebra apprch to the specification, correctness, and implementation of abstract data types - Goguen, Thatcher, et al. - 1978
1	Evolving Algebras, A Tutorial Introduction, Bulletin of the European Association for Theoretical Computer Science 43 - Gurevitch - 1991
1	Eléments de théorie des patchworks, Diagrammes 29 - Lair - 1993
1	The use of Sorts - Mosses - 1991
1	On the role of memory in object-based and object-oriented languages, Theoretical Computer Science 140 - Wagner - 1995