Search Sciweavers | Sciweavers

31686 search results - page 52 / 6338

» Resource typing in Guru

Voted

TACS
1997
Springer

122views Software Engineering» more TACS 1997»

Sets in Types, Types in Sets

15 years 8 months ago

Download www.lix.polytechnique.fr

Benjamin Werner

claim paper

Read More »

136

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

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

click to vote

PHOENIX
1991

118views Programming Languages» more PHOENIX 1991»

Type Classes are Signatures of Abstract Types

15 years 7 months ago

Download webpages.cs.luc.edu

Konstantin Läufer, Martin Odersky

claim paper

Read More »

123

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

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

click to vote

POS
1987
Springer

94views Programming Languages» more POS 1987»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers