Putting algebraic components together: A dependent type approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 429 LNCS, Issue , 1990, Pages 141-150

  Reynaud, Jean Claude ^a  

^a INPG IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CONSTRUCTIVE APPROACH; DEPENDENT TYPES; NEW COMPONENTS; PARAMETRIZATIONS;

ALGEBRA;

EID: 84959228639     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52531-9_133     Document Type: Conference Paper

References (20)

1. D. Bert, R. Echahed, Design and implementation of a generic, logic and functional programming language, LNCS 213, pp. 119-132 (1986).
2. Bergstra and al., Module Algebra, Report P8823. University of Amsterdam, (Nov. 1988).
3. D. Bert, J. C. Reynaud, Primitives for Algebraic Components, Esprit Project 1598, Replay/T2. 3/I (July 1988).
4. J. Cartmell, Generalized Algebraic Theories and Contextual Categories, PhD. Thesis, Oxford (1978).
5. J. Cartmell, Formalizing the Network and Hierarchical Data Models. An Application of categorical logic. Symposium on Category Theory and Computer Science, LNCS 283
6. H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1: Equations and initial semantics, Springer, (1985).
7. H. Ehrig, H. Weber, Programming in the large with algebraic module specifications, IFIP-Congress (1986)
8. K. Futatsugi, J. A. Goguen, J. P. Jouannaud, J. Meseguer, Principles of OBJ2, Proc. of the 12th ACM Symposium on Principles of Programming Languages, pp. 52-66 (1985)
9. P. Freyd, Aspects of Topoi, Bull. Austral. Math. Soc. 7, 1972.
10. M. C. Gaudel, A first introduction to PLUSS. Université Paris Sud, Orsay Techn. Rep., 1984.
11. J. A. Goguen, R. M. Burstall, Introducing institutions, Proc. Logics of Programming Workshop LNCS 164, pp. 221-256 (1984).
12. J. Lambek, P. J. Scott, Introduction to higher order categorical logic, Cambridge University Press 1986.
13. S. MacLane, Categories for the working mathematician, Springer 1972.
14. A. Poigne, Algebra Categorically, Symposium on Category Theory and Computer Science, LNCS 283, pp. 76-102.
15. F. Parisi-Presicce, Product and iteration of module specifications, CAAP’88, LNCS 299 (1988)
16. J. C. Reynaud, Semantique de LPG, RR 651 IMAG, 56 LIFIA (1987)
17. J. C. Reynaud, A calculus for putting Algebraic Components Together. REPLAY/T2. 3/F, ESPRIT Project 1598(REPLAY), Sept. 1989.
18. D. T. Sannella, A. Tarlecki, Building specifications in an arbitrary institution, Proc. of the Intl. Symp. on Semantics of Data Types, LNCS 173, Springer(1984).
19. A. Tarlecki, On the existence of free models in abstract algebraic institutions, TCS 37 (1985) pp. 269-304.
20. M. Wirsing, Structured algebraic specifications: a kernel language. TCS 42, 1986, 123-249.