Sciweavers

2646 search results - page 29 / 530
» Local Type Inference
Sort
View
OOPSLA
1995
Springer
15 years 1 months ago
Sound Polymorphic Type Inference for Objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
TOPLAS
2008
89views more  TOPLAS 2008»
14 years 10 months ago
Types for atomicity: Static checking and inference for Java
Cormac Flanagan, Stephen N. Freund, Marina Lifshin...