18429 search results - page 61 / 3686 » Typing dynamic typing |
181
click to vote
POPL
2001
ACM
16 years 5 days ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
TYPES
2004
Springer
15 years 5 months ago
2004
Springer
TYPES
2004
Springer
15 years 5 months ago
2004
Springer