85 search results - page 1 / 17 » Static Dependent Types for First Class Modules |
LFP
1990
13 years 5 months ago
1990
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
GLOBECOM
2008
IEEE
13 years 11 months ago
2008
IEEE
Long-range dependence (LRD) is a widely verified property of Internet traffic, which severely impacts network performance yielding longer queuing delays. Moreover, LRD is almos...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
ECOOP
2003
Springer
13 years 9 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...