Sciweavers

3394 search results - page 27 / 679
» Regular Object Types
Sort
View
OOPSLA
1995
Springer
15 years 5 months ago
Sound Polymorphic Type Inference for Objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
MSCS
2006
87views more  MSCS 2006»
15 years 2 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»
15 years 2 months ago
Robust and Accurate Object Tracking Under Various Types of Occlusions
Jiyan Pan, Bo Hu, Jian Qiu Zhang
96
Voted
SIGACT
1998
69views more  SIGACT 1998»
15 years 1 months ago
Polymorphism, objects and abstract types
Peter W. O'Hearn