A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)
1997
BRICS Report Series
We investigate the synergy between type-directed partial evaluation and run-time code generation for the Caml dialect of ML. Type-directed partial evaluation maps simply typed, closed Caml values to a representation of their long beta-eta-normal form. Caml uses a virtual machine and has the capability to load byte code at run time. Representing the long beta-eta-normal forms as byte code gives us the ability to strongly normalize higher-order values (i.e., weak head normal forms in ML), to
doi:10.7146/brics.v4i43.18969
fatcat:2u3gn2vthnh7vekesxcvymykkm