Searching for "Polymorphic Type Inference." – sorted by Relevance.
231 documents found, showing 1 through 10.
Next 10 →
-
Polymorphic Type Inference for the JNI
- …Polymorphic Type Inference for the JNI ⋆ Michael Furr and Jeffrey S. Foster University of Maryland…
- Cited by 12 (4 self) – Add To MetaCart
-
Polymorphic Type Inference
- …Polymorphic Type Inference Michael I. Schwartzbach http:##www.daimi.au.dk#~mis March 1995 Preface…
- Add To MetaCart
-
Polymorphic Type Inference and Assignment
- …Proc. 18th Symp. Principles of Programming Languages, 1991, pages 291-302. Polymorphic type…
- Cited by 50 (1 self) – Add To MetaCart
-
Sound Polymorphic Type Inference for Objects
- …Sound Polymorphic Type Inference for Objects Jonathan Eifrig y Scott Smith Valery Trifonov y…
- Cited by 97 (8 self) – Add To MetaCart
-
Operational Semantics and Polymorphic Type Inference
- … Operational Semantics and Polymorphic Type Inference Mads Tofte Ph. D. University of Edinburgh…
- Cited by 86 (2 self) – Add To MetaCart
-
Polymorphism and Type Inference in Database Programming
- …Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania…
- Cited by 33 (10 self) – Add To MetaCart
-
Polymorphic type inference for the relational algebra
- …arXiv:cs/0106035v1 [cs.LO] 14 Jun 2001 Polymorphic type inference for the relational algebra Jan…
- Cited by 2 (1 self) – Add To MetaCart
-
First-class Polymorphism with Type Inference
- …Abstract First-class Polymorphism with Type Inference Mark P. Jones Department of Computer Science…
- Cited by 37 (0 self) – Add To MetaCart
-
Polymorphic Type Inference and Abstract Data Types
- …Page 1 of 26 Polymorphic Type Inference and Abstract Data Types Konstantin L��ufer Martin Odersky…
- Cited by 50 (3 self) – Add To MetaCart
-
Polymorphic Type Inference for Languages with Overloading and Subtyping
- …POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented…
- Cited by 19 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
