73 search results - page 1 / 15 » Modeling abstract types in modules with open existential typ... |
POPL
2009
ACM
14 years 5 months ago
2009
ACM
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
JACM
2007
13 years 4 months ago
2007
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
ECOOP
2003
Springer
13 years 10 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...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...