Search Sciweavers | Sciweavers

2646 search results - page 29 / 530

» Local Type Inference

123

Voted

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 10 months ago

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

105

click to vote

USS
2004

94views Operating System» more USS 2004»

Finding User/Kernel Pointer Bugs with Type Inference

15 years 7 months ago

Download www.eecs.berkeley.edu

Robert Johnson, David Wagner

claim paper

Read More »

114

click to vote

CAS
2005

54views more CAS 2005»

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

15 years 6 months ago

Download www.ugr.es

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

claim paper

Read More »

149

click to vote

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

15 years 6 months ago

Download slang.soe.ucsc.edu

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

claim paper

Read More »

128

click to vote

TOPLAS
1998

62views more TOPLAS 1998»

Proofs about a Folklore Let-Polymorphic Type Inference Algorithm

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers