Search Sciweavers | Sciweavers

2335 search results - page 28 / 467

» Type Checking Type Classes

120

click to vote

TOOLS
2008
IEEE

123views Programming Languages» more TOOLS 2008»

Optimizing Dynamic Class Composition in a Statically Typed Language

15 years 8 months ago

Download www.daimi.au.dk

Anders Bach Nielsen, Erik Ernst

claim paper

Read More »

click to vote

CASSIS
2005
Springer

129views Human Computer Interaction» more CASSIS 2005»

Typed Compilation Against Non-manifest Base Classes

15 years 7 months ago

Download contrapunctus.net

Christopher League, Stefan Monnier

claim paper

Read More »

Voted

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 7 months ago

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

109

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 7 months ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

claim paper

Read More »

112

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers