1081 search results - page 13 / 217 » Type Inference of SELF |
112
Voted
TAPSOFT
1991
Springer
15 years 7 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
151
Voted
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
119
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
147
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
142
Voted
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...