MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Explaining Type Inference." – sorted by Relevance.

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

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

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

ATOM

Explaining Type Inference
by Dominic Duggan, Frederick Bent — 1995 — Science of Computer Programming
…Explaining Type Inference Dominic Duggan + Department of Computer Science University…
Cited by 53 (0 self) – Add To MetaCart

GJ: Extending the Java
by Programming Language, Gilad Bracha, David Stoutamire, Sun Microsystems, Sun Microsystems
… rule is used for parameterized types. Section 6 explains type inference for parametric method calls…
Add To MetaCart

Repairing Type Errors in Functional Programs
by Bruce James McAdam — 2001
… is investigated. Secondly, the results of several other authors on helping explain type inference are condensed…
Cited by 6 (1 self) – Add To MetaCart

Improved Type Error Reporting
by Jun Yang, Greg Michaelson, Phil Trinder, J. B. Wells — 2000 — In Proceedings of 12th International Workshop on Implementation of Functional Languages
… [1] explains how the inference reaches the two con icting types. Soosaipillai's system [11] explains…
Cited by 17 (1 self) – Add To MetaCart

Improved Type Error Reporting
by Jun Yang Greg, Jun Yang, Greg Michaelson, Phil Trinder, J. B. Wells — 2000 — In Proceedings of 12th International Workshop on Implementation of Functional Languages
… having a particular type [4]. The system of Beaven and Stansifer [1] explains how the inference reaches…
Add To MetaCart

Type inference for generic Haskell
by Alexey Rodriguez, Johan Jeuring, Andres Löh — 2005
… Haskell’s type system to explain type inference, but the results also apply to similar approaches…
Cited by 1 (0 self) – Add To MetaCart

GJ: Extending the Java programming language with type parameters
by Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler, Sun Microsystems, Sun Microsystems
… an invariant subtyping rule is used for parameterized types. Section 6 explains type inference for parametric…
Cited by 9 (0 self) – Add To MetaCart

Interactive Programming Environment for ML
by Laurent Thery, Laurence Rideau, Laurence Rideau, Environnement Programmation, Interactif Ml — 1997
… been proposed as a way to explain type inference by Mitchell Wand in [20]. More recently, Dominic…
Cited by 7 (0 self) – Add To MetaCart

GJ: Extending the Java
by Programming Language With, Gilad Bracha, David Stoutamire, Sun Microsystems, Sun Microsystems
… rule is used for parameterized types. Section 6 explains type inference for parametric method calls…
Add To MetaCart

Graphs for recording type information
by Bruce J. Mcadam — 1999 — University of Edinburgh
… of the two types was derived. Duggan and Bent [DB96] explain type inference by recording changes made…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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