2646 search results - page 41 / 530 » Local Type Inference |
JCNS
2007
14 years 10 months ago
2007
AMAI
2002
Springer
14 years 10 months ago
2002
Springer
CORR
2000
Springer
14 years 10 months ago
2000
Springer
157
click to vote
POPL
2005
ACM
15 years 10 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...
ML
2006
ACM
15 years 4 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 ...