Sciweavers

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