1072 search results - page 29 / 215 » Object-Oriented Type Inference |
IANDC
2002
14 years 11 months ago
2002
CORR
2009
Springer
14 years 9 months ago
2009
Springer
101
click to vote
OOGRAPHICS
1992
15 years 3 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
ACSW
2006
15 years 1 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...