MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Type Inference with Subtypes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

32 documents found, showing 1 through 10. Next 10 →

ATOM

Algorithmic Aspects of Type Inference With Subtypes
by Patrick Lincoln, John C. Mitchell — 1992 — In Conference Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages
…Algorithmic aspects of type inference with subtypes Patrick Lincoln Computer Science Department…
Cited by 24 (0 self) – Add To MetaCart

A Framework for Type Inference with Subtyping
by François Pottier — 1998
…A Framework for Type Inference with Subtyping Fran��cois Pottier Francois…
Cited by 20 (0 self) – Add To MetaCart

Type Inference and Subtyping for Higher-Order Generative Communication
by Laurent Dami, Laurent Dami — in Coordination Programming: Mechanisms, Models, Semantics
…Type Inference and Subtyping for Higher-Order Generative Communication Laurent Dami University…
Cited by 8 (3 self) – Add To MetaCart

Type inference with Constructor subtyping
by Maria Jo Ao, Maria Jo~ao Frade — 2003
…Type inference with Constructor subtyping Maria Jo~ao Frade Departamento de Informatica…
Add To MetaCart

Polymorphic Type Inference for Languages with Overloading and Subtyping
by Seward Smith, Geoffrey Seward Smith, Ph. D — 1991
…POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented…
Cited by 19 (1 self) – Add To MetaCart

Type Inference for the Mixture of Matching and Implicit Subtyping
by Koji Kagawa — 1996 — In Proc. of the Second Fuji International Workshop on Functional and Logic Programming. World Scientific Publishing
…Type Inference for the Mixture of Matching and Implicit Subtyping Koji Kagawa Department…
Cited by 1 (1 self) – Add To MetaCart

Subject reduction and minimal types for higher order subtyping
by Adriana Compagnoni — 1997 — In Proceedings of the Second Chinese Language Processing Workshop
… to establishing these results, we define algorithms for type inference and subtype checking. 1 Introduction…
Cited by 5 (3 self) – Add To MetaCart

A Practical Subtyping System For Erlang
by Simon Marlow, Philip Wadler — 1997 — In Proceedings of the International Conference on Functional Programming (ICFP '97
… and building a type system for Erlang. Our type system provides type inference with subtyping, declaration…
Cited by 41 (0 self) – Add To MetaCart

Combining Inheritance and Parametric Polymorphism in a Functional Database Language
by Simon Courtenage, Alexandra Poulovassilis, Ra Poulovassilis — 1995 — in Proc. 13th British National Conference on Databases (BNCOD-13
… inference with subtypes for the pure calculus to cater for structured types, ML-style parametric…
Cited by 4 (0 self) – Add To MetaCart

Principal Type Schemes for Functional Programs with Overloading and Subtyping
by Geoffrey S. Smith — 1994 — Science of Computer Programming
…], and Curtis [2]. Mitchell, Stansifer, and Fuh and Mishra consider type inference with subtyping, but their 1…
Cited by 38 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB