Sciweavers

1072 search results - page 49 / 215

» Object-Oriented Type Inference

105

Voted

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 7 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

95

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

claim paper

Read More »

84

USS
2004

94views Operating System» more USS 2004»

Finding User/Kernel Pointer Bugs with Type Inference

15 years 4 months ago

Finding User/Kernel Pointer Bugs with Type Inference

Download www.eecs.berkeley.edu

Robert Johnson, David Wagner

claim paper

Read More »

84

CAS
2005

54views more CAS 2005»

Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

15 years 3 months ago

Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

Download www.ugr.es

Ramón Gutiérrez Jáimez, Ram&o...

claim paper

Read More »

108

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

15 years 3 months ago

Types for atomicity: Static checking and inference for Java

Download slang.soe.ucsc.edu

Cormac Flanagan, Stephen N. Freund, Marina Lifshin...

claim paper

Read More »

« Prev « First page 49 / 215 Last » Next »