2646 search results - page 41 / 530 » Local Type Inference |
JCNS
2007
15 years 2 months ago
2007
AMAI
2002
Springer
15 years 2 months ago
2002
Springer
57
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
205
Voted
POPL
2005
ACM
16 years 2 months 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...
116
click to vote
ML
2006
ACM
15 years 8 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 ...