Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

92

Voted

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 6 months ago

Sound Polymorphic Type Inference for Objects

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Real-time Traffic

OOPSLA 1995 | Security Privacy |

claim paper

Related Content

» A Certified Implementation of ML with Structural Polymorphism

» Type Inference with Rank 1 Polymorphism for TypeDirected Compilation of ML

» A Polymorphic Calculus for Views and Object Sharing

» Sound and Complete Type Inference for a Systems Programming Language

» Syntactic Type Soundness for the Region Calculus

» Polymorphic Type Inference and Assignment

» A Generalization of Hybrid LetPolymorphic Type Inference Algorithms

» Coercions in a polymorphic type system

» Polymorphic Delimited Continuations

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	OOPSLA
Authors	Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Comments (0)