Search Sciweavers | Sciweavers

2233 search results - page 7 / 447

» Modular type classes

click to vote

POPL
1993
ACM

120views Programming Languages» more POPL 1993»

Type Checking Type Classes

15 years 1 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

PEPM
2004
ACM

108views Software Engineering» more PEPM 2004»

Fusion with stacks and accumulating parameters

15 years 2 months ago

Download www.math.kyoto-u.ac.jp

We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...

Susumu Nishimura

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

15 years 3 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

15 years 3 months ago

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »