3653 search results - page 30 / 731 » Learning of Partial Languages |
97
Voted
ECML
2006
Springer
15 years 4 months ago
2006
Springer
115
Voted
ICFP
2005
ACM
16 years 21 days ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
117
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
115
Voted
PEPM
1999
ACM
15 years 5 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
72
Voted
JSYML
2000
15 years 16 days ago
2000
We show that to every recursive total continuous functional there is a representative of in the hierearchy of partial continuous functionals such that is S1 - S9 computable ov...