Sciweavers

2596 search results - page 21 / 520
» Gradual Typing for Objects
Sort
View
ECOOP
1995
Springer
15 years 2 months ago
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
Kim B. Bruce, Angela Schuett, Robert van Gent
OOPSLA
1995
Springer
15 years 2 months ago
Sound Polymorphic Type Inference for Objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
MSCS
2006
87views more  MSCS 2006»
14 years 11 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 11 months ago
Robust and Accurate Object Tracking Under Various Types of Occlusions
Jiyan Pan, Bo Hu, Jian Qiu Zhang