Sciweavers

2596 search results - page 21 / 520
» Gradual Typing for Objects
Sort
View
ECOOP
1995
Springer
15 years 1 months ago
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
Kim B. Bruce, Angela Schuett, Robert van Gent
OOPSLA
1995
Springer
15 years 1 months ago
Sound Polymorphic Type Inference for Objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
MSCS
2006
87views more  MSCS 2006»
14 years 9 months ago
Addressed term rewriting systems: application to a typed object calculus
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...
TCSV
2008
74views more  TCSV 2008»
14 years 9 months ago
Robust and Accurate Object Tracking Under Various Types of Occlusions
Jiyan Pan, Bo Hu, Jian Qiu Zhang