Search Sciweavers | Sciweavers

2596 search results - page 21 / 520

» Gradual Typing for Objects

170

Voted

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

15 years 11 months ago

Download www.cs.mun.ca

Kim B. Bruce, Angela Schuett, Robert van Gent

claim paper

Read More »

139

click to vote

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 11 months ago

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

145

Voted

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

15 years 7 months ago

Download web.cs.wpi.edu

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...

claim paper

Read More »

161

Voted

TCSV
2008

74views more TCSV 2008»

Robust and Accurate Object Tracking Under Various Types of Occlusions

15 years 7 months ago

Download www.cs.cmu.edu

Jiyan Pan, Bo Hu, Jian Qiu Zhang

claim paper

Read More »

123

Voted

JOT
2002

48views more JOT 2002»

The Theory of Classification, Part 4: Object Types and Subtyping

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers