Sciweavers

2646 search results - page 29 / 530
» Local Type Inference
Sort
View
77
Voted
OOPSLA
1995
Springer
15 years 4 months ago
Sound Polymorphic Type Inference for Objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
66
Voted
USS
2004
15 years 1 months ago
Finding User/Kernel Pointer Bugs with Type Inference
Robert Johnson, David Wagner
70
Voted
CAS
2005
54views more  CAS 2005»
15 years 11 days ago
Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling
Ramón Gutiérrez Jáimez, Ram&o...
92
Voted
TOPLAS
2008
89views more  TOPLAS 2008»
15 years 10 days ago
Types for atomicity: Static checking and inference for Java
Cormac Flanagan, Stephen N. Freund, Marina Lifshin...
68
Voted
TOPLAS
1998
62views more  TOPLAS 1998»
15 years 3 days ago
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Oukseh Lee, Kwangkeun Yi