2646 search results - page 6 / 530 » Local Type Inference |
103
click to vote
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
205
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
103
Voted
JFP
2006
15 years 9 days ago
2006
XML data are described by types involving regular expressions. This raises the question of what language feature is convenient for manipulating such data. Previously, we have give...
77
Voted
ICFP
2006
ACM
16 years 9 days ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
115
Voted
ICFP
2008
ACM
16 years 9 days ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...