Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. Master's thesis, University of Copenhagen, Department of Computer Science, 1993. Available as Technical Report DIKU-report 93/22. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Modal Analysis of Staged Computation - Davies, Pfenning (1999) (124 citations) (Correct)
....advanced techniques to achieve the desired staging, such as the binding time improvements used in partial evaluation. Memoizing when generating code is another useful technique used in partial evaluation, and [WLP98] shows how this technique can be programmed in a language with modal types. See [BW93] for a description of a realistic partial evaluator for Standard ML and [JGS93] for an overview of standard techniques and examples of partial evaluation. One possible criticism of our languages is that they only manipulate closed code during execution, which restricts the staging that can be ....
Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. Master's thesis, University of Copenhagen, Department of Computer Science, 1993. Available as Technical Report DIKU-report 93/22.
A Modal Analysis of Staged Computation - Rowan Davies (1996) (124 citations) Self-citation (Department) (Correct)
....expressed in Mini ML 2 . More complicated examples would generally require polyvariant specialization, which could be provided to the programmer as a library function that memoized when generating code. Further, this approach could be extended to prevent code copying during specialization. See [BW93] for a description of a realistic partial evaluator for Standard ML and [JGS93] for an overview of standard techniques and examples of partial evaluation. Our language Mini ML 2 requires the insertion of the box, unbox and pop operators into a functional program. These operators may be ....
Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. Master's thesis, University of Copenhagen, Department of Computer Science, 1993. Available as Technical Report DIKU-report 93/22.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC