Search Sciweavers | Sciweavers

31686 search results - page 52 / 6338

» Resource typing in Guru

136

click to vote

TACS
1997
Springer

122views Software Engineering» more TACS 1997»

Sets in Types, Types in Sets

15 years 10 months ago

Download www.lix.polytechnique.fr

Benjamin Werner

claim paper

Read More »

178

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

15 years 10 months ago

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

121

click to vote

PHOENIX
1991

118views Programming Languages» more PHOENIX 1991»

Type Classes are Signatures of Abstract Types

15 years 10 months ago

Download webpages.cs.luc.edu

Konstantin Läufer, Martin Odersky

claim paper

Read More »

157

click to vote

POPL
1991
ACM

113views Programming Languages» more POPL 1991»

The Complexity of Type Inference for Higher-Order Typed Lambda Calculi

15 years 10 months ago

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

125

Voted

POS
1987
Springer

94views Programming Languages» more POS 1987»

Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers