D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Quest Language and System - Cardelli (1994) (3 citations) (Correct)
....extract manifest kinds and types out of signature like structures. 8.3. Diamond import In module systems that admit multiple implementations of the same interface, there must be a way of telling when implementations of an interface imported through different paths are the same implementation [MacQueen 84] This is called the diamond import problem. A module d imports two modules c and b which both import a module a. Then the types flowing from a to d through two different import paths are made to interact in d. In other words, if a:A and b:A, then a.T must not match b.T, unless we know ....
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
A Polymorphic lambda-calculus with Type:Type - Cardelli (1986) (4 citations) (Correct)
....a(b) a(b) value application) LA. a lA:Type. a (type abstraction) a[A] a(A) type application) function types) DA.B A:Type. B (polymorphic types) The language used in the ideal model of types [MacQueen 84a] which is the basis for the Standard ML modules and type system [MacQueen 84b] can also be easily expressed: la:A. b la:A. b (value abstraction) a(b) a(b) value application) function types) product types) union types) A.B A:Type. B (universal types) A.B A:Type. B (existential types) function kinds) product kinds) where the structure ....
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, 1984.
Phase Distinctions in Type Theory - Cardelli (1988) (21 citations) (Correct)
....85] This means that we can, for example, select on the base of a run time test an optimal implementation of an abstract type for a given task. Page 12 In the predicative view (where E # S Some KT (X: Type)B kind) packages are second class objects which cannot be manipulated at run time [MacQueen 84] although it is still possible to extract run time objects out of them) Our phased system seems to achieve the flexibility of DL [MacQueen 86] in typechecking parametric modules, but in an impredicative framework where packages are values. This point is still under investigation; phases do ....
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
Phase Distinctions in Type Theory - Cardelli (1988) (21 citations) (Correct)
....values [Donahue 85] This means that we can, for example, select on the base of a run time test an optimal implementation of an abstract type for a given task. In the predicative view (where E # S Some KT (X: Type)B kind) packages are second class objects which cannot be manipulated at run time [MacQueen 84] although it is still possible to extract run time objects out of them) Our phased system seems to achieve the flexibility of DL [MacQueen 86] in typechecking parametric modules, but in an impredicative framework where packages are values. This point is still under investigation; phases do ....
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
Typeful Programming - Luca Cardelli Digital (1989) (77 citations) (Correct)
No context found.
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
Typeful Programming - Cardelli (1989) (77 citations) (Correct)
No context found.
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
Typeful Programming - Cardelli (1993) (77 citations) (Correct)
No context found.
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
Amber - Cardelli (1986) (Correct)
No context found.
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (90 citations) (Correct)
No context found.
D.B.MacQueen: Modules for Standard ML, Proc. Symposium on Lisp and Functional Programming, Austin, Texas, August 6-8 1984, pp 198-207. ACM, New York.
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