5 search results - page 1 / 1 » Gradual typing with unification-based inference |
POPL
2012
ACM
12 years 2 days ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
DLS
2008
13 years 6 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
POPL
1996
ACM
13 years 8 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
ACL
1998
13 years 5 months ago
1998
The lexical acquisition system presented in this paper incrementallyupdates linguisticproperties of unknown words inferred from their surrounding context by parsing sentences with...