J. C. Mitchell and G. D. Plotkin. Abstract types have existential type. ACM Transaction on Programming Languages and Systems, 10(3), 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Typed Closure Conversion - Yasuhiko Minamide Greg (Correct)
No context found.
J. C. Mitchell and G. D. Plotkin. Abstract types have existential type. ACM Transaction on Programming Languages and Systems, 10(3), 1988.
Static Dependent Types for First Class Modules - Mark Sheldon And (Correct)
No context found.
John C. Mitchell and Gordon D. Plotkin. Abstract types have existential type. ACM Trans. on Programming Languages and Systems, 10(3), July 1988. (Published earlier in POPL 86.).
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
No context found.
John C. Mitchell and Gordon Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470--502, 1988.
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) (Correct)
No context found.
J. C. Mitchell and G. D. Plotkin. Abstract types have existential type. ACM Transactions on Progamming Languages and Systems, 10(3):470--502, July 1988.
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (6 citations) (Correct)
No context found.
Mitchell, J. and Plotkin, G. 1988. Abstract types have existential type. ACM Trans. Program. Lang. Syst. 10, 3 (July), 470--502.
Privacy via Subsumption - Jon Riecke Bell (1998) (32 citations) (Correct)
No context found.
John C. Mitchell and Gordon D. Plotkin. Abstract types have existential type. ACM Trans. Programming Languages and Systems, 10(3):470-- 502, 1988.
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
No context found.
J. C. Mitchell and G. D. Plotkin. Abstract types have existential type. Transactions on Programming Languages and Systems, 10(3):470--502, 1988.
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) (Correct)
No context found.
John C. Mitchell and Gordon D. Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470--502, July 1988.
Unknown - Expansion Variables For (Correct)
No context found.
J. C. Mitchell, G. D. Plotkin. Abstract types have existential type. ACM Trans. on Prog. Langs. & Systs., 10(3), 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#38# J. Mitchell and G. Plotkin. Abstract types have existential type. Transactions On Programming Languages and Systems, 10#3#:470#502, July 1988.
First 50 documents Next 50
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