2701 search results - page 51 / 541 » On the form of witness terms |
IFL
2004
Springer
15 years 5 months ago
2004
Springer
One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an impe...
118
click to vote
IGPL
2007
14 years 11 months ago
2007
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasize...
103
click to vote
CMA
2011
14 years 3 months ago
2011
We introduce and study term functions over fuzzy hyperalgebras. We start from this idea that the set of nonzero fuzzy subsets of a fuzzy hyperalgebra can be organized naturally as...
104
click to vote
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
102
click to vote
LFP
1992
15 years 1 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...