Run-time Code Generation and Modal-ML

  title={Run-time Code Generation and Modal-ML},
  author={Philip Wickline and Peter Lee and Frank Pfenning},
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML', extends ML with modal operators in the style of the Mini-ML'e language of Davies and Pfenning. ML' allows programmers to use types to specify precisely the stages of computation in a program. The types also guide the compiler in generating target code that exploits the staging information through the use of run-time code generation. The target machine is currently a version of… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-2 of 2 references

27{30 July). A temporal-logic approach

  • R. Davies
  • 1996
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…