1081 search results - page 48 / 217 » Type Inference of SELF |
145
click to vote
TLDI
2010
ACM
16 years 25 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
115
Voted
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
141
click to vote
ISIPTA
2005
IEEE
15 years 9 months ago
2005
IEEE
When considering sampling models described by a distribution from an exponential family, it is possible to create two types of imprecise probability models. One is based on the co...
114
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
144
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...