KELSE, R. A. Fully-parameterized modules or the missing link. Tech. Rep. 97-3, NEC Research Institute, 1997.  Home/Search   Document Not in Database   Summary   Related Articles

....= type t : a signature = sig imports exports depends dependency r dependency t t Figure 16: Syntax for UNITe (type equations) tde 1 tdi 1 tde2 , tdi 2 Xe2:Te2 Xe2 e2 :qXe2lTel Xel. iel: Tel Te2 sig[il, el, dil , del , bl ] sig[i2, e, di, de2, b2] Figure 17: Subtyping in UNIT, signatures ML, support type equations that introduce new types without explicit constructors; a type equation of the form type t v defines the type variable t as an abbreviation for the type expression v. Naively mixing units with type dependencies and equations leads to ....

....propagates dependency information for types imported into and exported from the compound unit. 4.3. 1 UNIT, Type Checking The following abbreviation expresses a UNITe signature: sig[i, e, di, de, b] sig import ti:mi x export t: x:r depends tde , tdi The subtyping rule in Figure 17 accounts for the new depen dency declarations. Specifically, a signature is more specific than another if it declares more dependencies. The type checking rules for UNIT, are defined in Figure 19. To calculate type dependencies, the type checking rules employ the depends on relation, cxiv. It ....

[Article contains additional citation context not shown here]

KELSE, R. A. Fully-parameterized modules or the missing link. Tech. Rep. 97-3, NEC Research Institute, 1997.

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