Paper Info
Title
Putting Algebraic Components Together: A Dependent Type Approach
Abstract
We define a framework based on dependent types for putting algebraic components together. It is defined with freely generated categories. In order to preserve initial, loose and constrained semantics of components, we introduce the notion of SPEC-categories which look like specific finitely co-complete categories. A constructive approach which includes parametrization techniques is used to define new components from basic predefined ones. The problem of the internal coding of external signature symbols is introduced.
Year
DOI
Venue
1990
10.1007/3-540-52531-9_133
DISCO
Keywords
DocType
Volume
dependent type approach,algebraic components,dependent types
Conference
429
ISBN
Citations 
PageRank 
3-540-52531-9
2
0.38
References 
Authors
10
1
Name
Order
Citations
PageRank
Jean-Claude Reynaud1479.73