Filters








1,863 Hits in 4.5 sec

Variant parametric types

Atsushi Igarashi, Mirko Viroli
2006 ACM Transactions on Programming Languages and Systems  
By exploiting variant parametric types, a programmer can write generic code abstractions working on a wide range of parametric types in a safe way.  ...  Then, for a rigorous argument of correctness of the proposed typing rules, we extend Featherweight GJ-an existing formal core calculus for Java with generics-with variant parametric types and prove type  ...  the prototype compiler at Sun Microsystems for having discussion with us.  ... 
doi:10.1145/1152649.1152650 fatcat:lttuadsjlvgkbfh3gz3zmwigea

A flow-based approach for variant parametric types

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
2006 SIGPLAN notices  
A promising approach for type-safe generic codes in the objectoriented paradigm is variant parametric type, which allows covariant and contravariant subtyping on fields where appropriate.  ...  In this paper, we present a new framework based on flow analysis and modular type checking to provide a simple but accurate model for capturing generic types.  ...  Acknowledgments We are grateful to Atsushi Igarashi for clarifying many questions regarding the variant type system.  ... 
doi:10.1145/1167515.1167498 fatcat:3lp4lbdx2verrk5ltze2gni3bq

A flow-based approach for variant parametric types

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
2006 Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
A promising approach for type-safe generic codes in the objectoriented paradigm is variant parametric type, which allows covariant and contravariant subtyping on fields where appropriate.  ...  In this paper, we present a new framework based on flow analysis and modular type checking to provide a simple but accurate model for capturing generic types.  ...  Acknowledgments We are grateful to Atsushi Igarashi for clarifying many questions regarding the variant type system.  ... 
doi:10.1145/1167473.1167498 dblp:conf/oopsla/ChinCKP06 fatcat:vghhmidzczh7xdcdr352p5ux54

On Variance-Based Subtyping for Parametric Types [chapter]

Atsushi Igarashi, Mirko Viroli
2002 Lecture Notes in Computer Science  
By exploiting variant parametric types, a programmer can write generic code abstractions working on a wide range of parametric types in a safe way.  ...  Variant parametric types are used to control both subtyping between different instantiations of one generic class and the visibility of their fields and methods.  ...  More generally, subtyping for variant parametric types is defined as follows. Suppose C is a generic class that takes n type arguments, and S, and T (possibly with subscripts) are types.  ... 
doi:10.1007/3-540-47993-7_19 fatcat:3fsdwewyxbahhepgvkamhfmmba

Type-based publish/subscribe

Patrick Eugster
2007 ACM Transactions on Programming Languages and Systems  
By reusing the type scheme of the language to classify message objects, type-based publish/subscribe avoids any unnatural subscription scheme and provides for a seamless integration of a publish/subscribe  ...  This paper presents type-based publish/subscribe, a new variant of the publish/subscribe paradigm.  ...  Acknowledgments We would like to thank Martin Odersky for always being at our disposal for questions concerning generic types in general and its application to JAVA in particular, as well as practical  ... 
doi:10.1145/1180475.1180481 fatcat:3v52oh4i6nbenju3zm5nkqwkla

Typing constraint logic programs [article]

Francois Fages, Emmanuel Coquery
2004 arXiv   pre-print
We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statically.  ...  predicates, thanks to the flexibility of subtyping.  ...  We are also grateful to the referees for their peer reviews.  ... 
arXiv:cs/0405100v1 fatcat:m3iefvs4bvhdni7dqo2s77gx7a

Type inference with partial types

Satish R. Thatte
1994 Theoretical Computer Science  
The new ground types form a semilattice of subtypes and require type inference based on inclusion constraints.  ...  As a partial solution to the problem of combining static and dynamic typing in a language with parametric polymorphism, this paper introduces a new form of type expressions which represent partial type  ...  As in some other systems which combine subtyping with parametric polymorphism [S, 151, all type information inferable for a given expression cannot in general be represented in the form of a single  ... 
doi:10.1016/0304-3975(94)90056-6 fatcat:22drjbbmtreetapvamsiic5zyi

Colored local type inference

Martin Odersky, Christoph Zenger, Matthias Zenger
2001 SIGPLAN notices  
We present a type system for a language based on F ≤ , which allows certain type annotations to be elided in actual programs.  ...  Propagating partial type information allows us to omit type annotations for the visitor pattern, the analogue of pattern matching in languages without sum types.  ...  It is even often difficult to see whether a specific change leads to undecidability. Using F ≤ and a local type inference scheme proved to be more robust and flexible in this respect.  ... 
doi:10.1145/373243.360207 fatcat:stgigabjynbmvbq2xbog3xkaky

Colored local type inference

Martin Odersky, Christoph Zenger, Matthias Zenger
2001 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01  
We present a type system for a language based on F ≤ , which allows certain type annotations to be elided in actual programs.  ...  Propagating partial type information allows us to omit type annotations for the visitor pattern, the analogue of pattern matching in languages without sum types.  ...  It is even often difficult to see whether a specific change leads to undecidability. Using F ≤ and a local type inference scheme proved to be more robust and flexible in this respect.  ... 
doi:10.1145/360204.360207 dblp:conf/popl/OderskyZZ01 fatcat:fazvm2k7sbdjxefzc5fibe6koa

Gradual typing for generics

Lintaro Ina, Atsushi Igarashi
2011 SIGPLAN notices  
In this paper, we develop a gradual type system for class-based objectoriented languages with generics.  ...  We also describe a basic implementation scheme for Java and report preliminary performance evaluation.  ...  This work was supported in part by Grant-in-Aid for Young Scientists (A) No. 21680002 and by Grant-in-Aid for JSPS Fellows No. 10J06019.  ... 
doi:10.1145/2076021.2048114 fatcat:4nkuxsmohrdb3cct2ac653kgxe

Gradual typing for generics

Lintaro Ina, Atsushi Igarashi
2011 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11  
In this paper, we develop a gradual type system for class-based objectoriented languages with generics.  ...  We also describe a basic implementation scheme for Java and report preliminary performance evaluation.  ...  This work was supported in part by Grant-in-Aid for Young Scientists (A) No. 21680002 and by Grant-in-Aid for JSPS Fellows No. 10J06019.  ... 
doi:10.1145/2048066.2048114 dblp:conf/oopsla/InaI11 fatcat:pkugi37ohvcsvavsunqtiodlkm

On understanding types, data abstraction, and polymorphism

Luca Cardelli, Peter Wegner
1985 ACM Computing Surveys  
In this way we obtain a simple and precise characterization of a powerful type system that includes abstract data types, parametric polymorphism, and multiple inheritance in a single consistent framework  ...  The mechanisms for type checking for the augmented X-calculus are discussed. The augmented typed X-calculus is used as a programming language for a variety of illustrative examples.  ...  Thanks are due to Dave MacQueen for countless discussions and to John Mitchell for insights.  ... 
doi:10.1145/6041.6042 fatcat:zt2iadvw4jenziu4xs647gait4

Polymorphic regular tree types and patterns

Jérôme Vouillon
2006 SIGPLAN notices  
Thus, the same constructors can be reused for different types and a flexible subtyping relation can be defined between types, corresponding to the inclusion of their semantics.  ...  For instance, one can define a type for lists and a subtype of this type corresponding to lists of even length. Patterns are simply types annotated with binders.  ...  POPL'06 January 11-13, 2006 There is a flexible subtyping relation between types. In particular, both even lists and non-empty lists are subtype of the list type. Type inference seems intractable.  ... 
doi:10.1145/1111320.1111047 fatcat:z6eh6e6rdfczjkzevov2hgbkpi

Polymorphic regular tree types and patterns

Jérôme Vouillon
2006 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06  
Thus, the same constructors can be reused for different types and a flexible subtyping relation can be defined between types, corresponding to the inclusion of their semantics.  ...  For instance, one can define a type for lists and a subtype of this type corresponding to lists of even length. Patterns are simply types annotated with binders.  ...  POPL'06 January 11-13, 2006 There is a flexible subtyping relation between types. In particular, both even lists and non-empty lists are subtype of the list type. Type inference seems intractable.  ... 
doi:10.1145/1111037.1111047 dblp:conf/popl/Vouillon06 fatcat:7v3aipvpvvgydnh3ntxhm4mixe

Gradually typing strategies

Jeff Smits, Eelco Visser
2020 Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering  
In this paper, we introduce a gradual type system for Stratego that combines the flexibility of dynamically typed generic programming, where needed, with the safety of statically declared and enforced  ...  While dynamic typing makes for a flexible programming model, it also leads to unintended type errors, code that is harder to maintain, and missed opportunities for optimization.  ...  Acknowledgments We would like to thank Michael Greenberg and the anonymous reviewers for their valuable comments and suggestions. This research was supported by a gift from the Oracle Corporation.  ... 
doi:10.1145/3426425.3426928 fatcat:ch5vrcxwsjggfh2tjduaxz3eme
« Previous Showing results 1 — 15 out of 1,863 results