Search Sciweavers | Sciweavers

1072 search results - page 7 / 215

» Object-Oriented Type Inference

181

Voted

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 10 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

149

click to vote

FSTTCS
1993
Springer

117views Software Engineering» more FSTTCS 1993»

A Meta-Language for Typed Object-Oriented Languages

15 years 10 months ago

Download www.pps.jussieu.fr

Giuseppe Castagna

claim paper

Read More »

127

click to vote

DBPL
1989
Springer

82views Database» more DBPL 1989»

Can Object-Oriented Databases be Statically Typed?

15 years 10 months ago

Download www.pllab.riec.tohoku.ac.jp

Val Tannen, Peter Buneman, Atsushi Ohori

claim paper

Read More »

135

Voted

OOPSLA
1990
Springer

73views Security Privacy» more OOPSLA 1990»

Strong Typing of Object-Oriented Languages Revisited

15 years 10 months ago

Download www.daimi.au.dk

Ole Lehrmann Madsen, Boris Magnusson, Birger M&osl...

claim paper

Read More »

141

Voted

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers