M.-V. Aponte. Extending record typing to type parametric modules with sharing. In 20th symposzum Principles of Programmzng Languages, pages 465-478. ACM Press, 1993.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....for modular programming [15] are here offset by the extra expressiveness brought by manifest types. The present paper also puts forward a new way to account for type sharing, distinct from the heavy graph based formalism of the Definitzon [11, 17, 25] and from Aponte s record based module algebra [1]. Previous approaches to sharing focus on structure generativity and sharing between structures; as a consequence, they require stamps over structures and consistency conditions between structures having the same stamp. In contrast, sharing restricted to types, as in this paper, can be expressed ....

M.-V. Aponte. Extending record typing to type parametric modules with sharing. In 20th symposzum Principles of Programmzng Languages, pages 465-478. ACM Press, 1993.

....module systems and the core ML language is well understood. We also do not deal with elaboration of signature expressions in this paper; this was studied in detail in [14] In addition to the work on Extended ML and the work of Leroy and Harper and Lillibridge already cited, the work of Aponte [1] should also be noted. It provides an other approach to semantic representations for ML modules, based on Rmy s work on polymorphic records [12] So far, this approach deals with first order functors only. 2 Semantic objects Our semantic objects are defined informally using a mixture of simple ....

Maria-Virginia Aponte. Extending record typing to type parametric modules with sharing. In Twentieth Annual ACM Symp. on Principles of Prog. Languages, pages 465 478, New York, Jan 1993. ACM Press.

....for modular programming [15] are here o set by the extra expressiveness brought by manifest types. The present paper also puts forward a new way to account for type sharing, distinct from the heavy graph based formalism of the De nition [11, 17, 25] and from Aponte s record based module algebra [1]. Previous approaches to sharing focus on structure generativity and sharing between structures; as a consequence, they require stamps over structures and consistency conditions between structures having the same stamp. In contrast, sharing restricted to types, as in this paper, can be expressed ....

M.-V. Aponte. Extending record typing to type parametric modules with sharing. In 20th symposium Principles of Programming Languages, pages 465-478. ACM Press, 1993.

.... Gamma Gamma Gamma Psi B (c) d) Fig. 11. The structure A of Figure 10 elaborates to (a) pictured at (b) whereas A elaborates to (c) pictured at (d) shown in Figure 11. Note that trees can be labelled by the same structure name and yet have a different shape. Another approach, due to Aponte(1992; 1993), is to represent a cut down view by decorating some of the components of the original as inaccessible, as indicated by the dashed line in Figure 12(b) The technique used in the present paper (using an assembly and requiring consistency and cover) and the technique used by Aponte (including ....

.... to be able to add components to flexible structures in A; this later operation is less trivial to model by substitution, as is known from work on polymorphic record typing(Wand, 1989; R emy, 1989) It is possible to use a record type discipline to express the widening of structures(Aponte, 1992; Aponte, 1993). We have chosen a different approach, namely to consider to be a relation between semantic objects, expressed in terms of (very elementary) category theory. Definition 7 (The category K) K is the category defined as follows. An object O of K is a pair (A; B) 2 Asmb Theta Basis satisfying A w ....

Aponte, M. V. 1993. Extending record typing to type parametric modules with sharing.

....modules already exist in some programming languages. For instance in Ada [1] homology rules are used to check the validity of instantiations; e.g. with private and limited types. In Ada, these rules apply to one type only. In contrast, M. V. Aponte proposed a type system for checking SML modules [2], based on unification and sharing, and which performs verifications w.r.t. the whole specification of the generic part of a module. In this approach, verifications are based on the names of types and functions, and therefore there are not various ways an SML structure (i.e. a module) can match an ....

M. V. Aponte. Extending record typing to type parametric modules with sharing. In 20 th Symposium on Principles of Programming Languages, 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC