1686 search results - page 182 / 338 » Higher Order Deforestation |
122
click to vote
MFCS
1993
Springer
15 years 8 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
122
click to vote
PEPM
1993
ACM
15 years 8 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
148
click to vote
PEPM
1994
ACM
15 years 8 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
146
click to vote
SC
1993
ACM
15 years 8 months ago
1993
ACM
Simulation of complex 3-dimensional phenomena generate data sets which are hard to comprehend using conventional 2-dimensionally oriented visualization tools. One way to overcome ...
137
click to vote
CADE
1990
Springer
15 years 8 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...