1003 search results - page 16 / 201 » Type Inference with Inequalities |
91
Voted
FOCS
1992
IEEE
15 years 6 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
121
Voted
ASIAN
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
116
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
115
click to vote
OOPSLA
1989
Springer
15 years 6 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
117
Voted
ENTCS
2010
14 years 8 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...