234 search results - page 34 / 47 » Deduction, Strategies, and Rewriting |
FOSSACS
2012
Springer
12 years 3 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
JCIT
2007
13 years 7 months ago
2007
Although the concept of Business Intelligence (BI) Systems is still emerging, nowadays many global companies like Agfa, POSCO, TDS Telecom and etc are implementing BI systems as t...
ALP
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
PROCEDIA
2010
13 years 6 months ago
2010
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...