Search Sciweavers | Sciweavers

2335 search results - page 28 / 467

» Type Checking Type Classes

164

click to vote

TOOLS
2008
IEEE

123views Programming Languages» more TOOLS 2008»

Optimizing Dynamic Class Composition in a Statically Typed Language

16 years 23 days ago

Download www.daimi.au.dk

Anders Bach Nielsen, Erik Ernst

claim paper

Read More »

136

click to vote

CASSIS
2005
Springer

129views Human Computer Interaction» more CASSIS 2005»

Typed Compilation Against Non-manifest Base Classes

15 years 12 months ago

Download contrapunctus.net

Christopher League, Stefan Monnier

claim paper

Read More »

127

Voted

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 12 months ago

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

151

click to vote

ECOOP
2004
Springer

88views Programming Languages» more ECOOP 2004»

Customization of Java Library Classes Using Type Constraints and Profile Information

15 years 11 months ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

claim paper

Read More »

165

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

Engineering a Programming Language: The Type and Class System of Sather

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers