Search Sciweavers | Sciweavers

3605 search results - page 6 / 721

» Associated types with class

click to vote

TPHOL
2008
IEEE

126views Automated Reasoning» more TPHOL 2008»

First-Class Type Classes

14 years 1 months ago

Download mattam.org

Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantiﬁcation o...

Matthieu Sozeau, Nicolas Oury

claim paper

Read More »

click to vote

POPL
1993
ACM

120views Programming Languages» more POPL 1993»

Type Checking Type Classes

13 years 11 months ago

Download www4.in.tum.de

We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...

Tobias Nipkow, Christian Prehofer

claim paper

Read More »

click to vote

ASPLOS
2006
ACM

190views Programming Languages» more ASPLOS 2006»

Type inference for unboxed types and first class mutability

14 years 1 months ago

Download www.cs.jhu.edu

Systems programs rely on ﬁne-grain control of data representation and use of state to achieve performance, conformance to hardware speciﬁcation, and temporal predictability. T...

Swaroop Sridhar, Jonathan S. Shapiro

claim paper

Read More »

click to vote

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

Principal Type Inference for GHC-Style Multi-parameter Type Classes

14 years 1 months ago

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »