Luca Cardelli  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/User...turalSubtyping.pdf microsoft.com/User...ralSubtyping.A4.ps compaq.com/SRC/per...cturalSubtyping.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: luca.demon.co.uk/Bibliography (more) From: luca.demon.co.uk/Bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: types We have used the term abstract type for types of the form P = Some(A:Type) B, because this models the concept of having an unknown type A which supports a set of operations of signature B. It should be pointed out that, unlike abstract types in second-order lambda calculus [Mitchell Plotkin 85] this notion of type abstraction does not prevent impersonation. That is, given a particular implementation p = pair(A:Type = C) b:B of P, the representation type C is visible, hence one can build ... (Update)
Context of citations to this paper: More
...of type constructors, as in full ML, or type operators, as in F . Kinds also provide an elegant treatment of bounded quanti cation [3, 4]. Introducing kinds in the module calculus is straightforward: abstract type speci cations in signatures now have the form type t :...
.... type constructors, as in full ML, 120 or type operators, as in F, Kinds also provide an elegant treatment of bounded quantification [3, 4]. Introducing kinds in the module calculus is straightforward: abstract type specifications in signatures now have the form type t : n,...
Cited by: More
MASPEGHI 2004 - Mechanisms for Specialization.. - Lahire.. (2004) (Correct)
Attribute-Based Filtering for Embedded Systems - Mitidieri, Kaiser (Correct)
Typed Concurrent Programming with Logic Variables - Müller, Niehren, Smolka (Correct)
Active bibliography (related documents): More All
0.5: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.4: Phase Distinctions in Type Theory - Cardelli (1988) (Correct)
0.4: On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (Correct)
Similar documents based on text: More All
0.2: Typeful Programming - Cardelli (1989) (Correct)
0.1: Type inference with structural subtyping: A faithful.. - Simonet (2002) (Correct)
0.1: A Query Language for Semistructured Data Based on the Ambient.. - Cardelli, Ghelli (2000) (Correct)
Related documents from co-citation: More All
23: On Understanding Types (context) - Cardelli, Wegner - 1985
21: A Semantics of Multiple Inheritance - Cardelli - 1988
13: Abstract Types Have Existential Type (context) - Mitchell, Plotkin - 1988
BibTeX entry: (Update)
Cardelli, L. 1988 (Jan.). Structural Subtyping and the Notion of Power Type. Pages 70--79 of: Proceedings of the 15th ACM Symposium on Principles of Programming Languages. http://citeseer.ist.psu.edu/cardelli88structural.html More
@inproceedings{ cardelli88structural,
author = "Luca Cardelli",
title = "Structural Subtyping and the Notion of Power Type",
booktitle = "Conference Record of the Fifteenth Annual {ACM} Symposium on Principles of Programming Languages",
address = "San Diego, California",
pages = "70--79",
year = "1988",
url = "citeseer.ist.psu.edu/cardelli88structural.html" }
Citations (may not include all citations):342 data abstraction and polymorphism (context) - Cardelli, Wegner et al.
107 Complete type inference for simple objects (context) - Wand - 1987 DBLP
76 DEC Systems Research Center (context) - Cardelli, l-calculus et al. - 1986
71 An intuitionistic theory of types: predicative part (context) - Martin-Lf - 1973
13 Plotkin: Abstract types have existential type (context) - Mitchell - 1985
9 et son application l'limination des coupures dans l'analyse .. (context) - Girard, de l'interprtation et al. - 1971
6 Lampson: A kernel language for abstract data types and modul.. (context) - Burstall - 1984
4 Symposium on Logic in Computer Science (context) - Harper, Honsell et al. - 1987 ACM
3 International Conference on 5th Generation Computing Systems (context) - Burstall, modules et al. - 1984
3 Mathematical Foundations of Software Development (context) - Reynolds, to et al. - 1985
1 the Workshop on Foundations of Logic and Functional Programm.. (context) - Cardelli, types et al. - 1986
1 Reinhold: 'Type' is not a type: preliminary report (context) - Meyer - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.html): More
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (Correct)
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