2646 search results - page 41 / 530 » Local Type Inference |
68
Voted
JCNS
2007
15 years 12 days ago
2007
67
Voted
AMAI
2002
Springer
15 years 11 days ago
2002
Springer
50
Voted
CORR
2000
Springer
15 years 10 days ago
2000
Springer
181
Voted
POPL
2005
ACM
16 years 25 days ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
101
Voted
ML
2006
ACM
15 years 6 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...