An imperative language based on distributive categories II
Wafaa Khalil; R. F. C. Walters
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1993)
- Volume: 27, Issue: 6, page 503-522
- ISSN: 0988-3754
Access Full Article
top
How to cite
topKhalil, Wafaa, and Walters, R. F. C.. "An imperative language based on distributive categories II." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 27.6 (1993): 503-522. <http://eudml.org/doc/92463>.
@article{Khalil1993,
author = {Khalil, Wafaa, Walters, R. F. C.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {imperative programming languages; distributive categories; data types},
language = {eng},
number = {6},
pages = {503-522},
publisher = {EDP-Sciences},
title = {An imperative language based on distributive categories II},
url = {http://eudml.org/doc/92463},
volume = {27},
year = {1993},
}
TY - JOUR
AU - Khalil, Wafaa
AU - Walters, R. F. C.
TI - An imperative language based on distributive categories II
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1993
PB - EDP-Sciences
VL - 27
IS - 6
SP - 503
EP - 522
LA - eng
KW - imperative programming languages; distributive categories; data types
UR - http://eudml.org/doc/92463
ER -
References
top- 1. R. F. C. WALTERS, An Imperative Language based on Distributive Categories, in Mathematical Structures for Computer Science (to appear). Zbl0788.18008MR1189984
- 2. R. F. C. WALTERS, Categories and Computer Science, Carslaw Publications, 1991, Cambridge University Press, 1992. Zbl0789.18001MR1204658
- 3. R. F. C WALTERS, Lecture at the Conference on Categories and Computer Science, Durham, July 1991.
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.