Sciweavers

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