A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Filters
Type-Directed Partial Evaluation
1995
DAIMI Report Series
Preserved Fulltext
As such, type-directed partial evaluation essentially achieves lambda-calculus normalization. ...
Type-directed partial evaluation uses no symbolic evaluation for specialization, and naturally processes static computational effects. ...
Most were type-checked using S t andard ML of New Jersey. ...
doi:10.7146/dpb.v24i494.7022
fatcat:vioyao7qrrbljnnppgwr3ig7ce
Type-Directed Partial Evaluation
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Type-directed partial evaluation is thus used to specialize compiled, closed programs, given their type. ...
Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. ...
The corresponding speci cation of type-directed partial evaluation is shown in Figure 1 . It is an extension of type-directed partial evaluation 12]. ...
doi:10.1007/3-540-47018-2_16
fatcat:ojfoiopf3ff4xkuo67yebypjze
Type-directed partial evaluation
1996
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Type-directed partial evaluation is thus used to specialize compiled, closed programs, given their type. ...
Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. ...
The corresponding speci cation of type-directed partial evaluation is shown in Figure 1 . It is an extension of type-directed partial evaluation 12]. ...
doi:10.1145/237721.237784
dblp:conf/popl/Danvy96
fatcat:tozjggl4abh2xf2tbymq3setv4
Online Type-Directed Partial Evaluation
1997
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this experimental work, we extend type-directed partial evaluation (a.k.a. ...
<br />We report a complete implementation of online type-directed partial evaluation in Scheme, extending our earlier offline implementation. ...
type-directed partial evaluation [18] . ...
doi:10.7146/brics.v4i53.19274
fatcat:f7awleju6fhpljel7cjcu7gfqy
Pragmatics of type-directed partial evaluation
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Type-directed partial evaluation is thus used to specialize compiled, closed programs, given their type. ...
Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. ...
The corresponding speci cation of type-directed partial evaluation is shown in Figure 1 . It is an extension of type-directed partial evaluation 12]. ...
doi:10.1007/3-540-61580-6_5
fatcat:i2jkkbsli5bhvab6b73w67n6am
Memoization in Type-Directed Partial Evaluation
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
However, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms. ...
We successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities. ...
Type-directed partial evaluation Type-directed partial evaluation is defined as a pair of functions for each type constructor. ...
doi:10.1007/3-540-45821-2_5
fatcat:cnljnigx3vcyfomacscdoujqby
Memoization in Type-Directed Partial Evaluation
2002
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
However, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms. ...
We successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities. ...
Type-directed partial evaluation Type-directed partial evaluation is defined as a pair of functions for each type constructor. ...
doi:10.7146/brics.v9i33.21748
fatcat:jderqbkkbjh5vkhuagdnxasqcy
Type Directed Partial Evaluation for Level-1 Shift and Reset
2013
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
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.
Other Versions
We present an implementation in the Coq proof assistant of type directed partial evaluation (TDPE) algorithms for call-by-name and call-by-value versions of shift and reset delimited control operators, ...
The semantic domain for evaluation is expressed in Constructive Type Theory as a dependently typed monadic structure combining Kripke models and continuation passing style translations. ...
Introduction Type directed partial evaluation (TDPE) is a technique that partially evaluates a program by first compiling it, and pre-computing known ("static") input data on the fly, and then decompiling ...
doi:10.4204/eptcs.127.6
fatcat:tk2mzcw2gjgzdgbflr5ucn6ic4
Pragmatic Aspects of Type-Directed Partial Evaluation
1996
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 1997; you can also visit the original URL.
The file type is application/pdf.
Type-directed partial evaluation thus can be used to specialize a compiled, closed program, given its type. ...
Type-directed partial evaluation stems from the residualization of static values in dynamic contexts, given their type and the type of their free variables. ...
Type-directed partial evaluation Type-directed partial evaluation stems from the desire to residualize arbitrary static values in dynamic contexts. ...
doi:10.7146/brics.v3i15.19977
fatcat:jxk52gwq5velnmrqqdtu25peoa
A Semantic Account of Type-Directed Partial Evaluation
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
For simplicity, the results are stated for a nonstrict, purely functional language; but the methods are directly applicable to stating and proving correctness of type-directed partial evaluation in ML-like ...
We formally characterize partial evaluation of functional programs as a normalization problem in an equational theory, and derive a type-based normalization-by-evaluation algorithm for computing normal ...
A Normalization-by-Evaluation Algorithm We now present Type-Directed Partial Evaluation (TDPE), an efficient algorithm for computing static normal forms. ...
doi:10.1007/10704567_23
fatcat:no4f3dwbrbddrhnypccp5bcstq
The Second Futamura Projection for Type-Directed Partial Evaluation
2000
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE). ...
Due to the differences between 'traditional', syntax-directed partial evaluation and TDPE, this derivation involves several conceptual and technical steps. ...
Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization. ...
doi:10.7146/brics.v7i44.20211
fatcat:mktkfflbubb57ddqozs2ggcdiq
The Second Futamura Projection for Type-Directed Partial Evaluation
1999
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
<br />We derive an ML implementation of the second Futamura projection<br /> for Type-Directed Partial Evaluation (TDPE). ...
Due to the differences<br /> between 'traditional', syntax-directed partial evaluation and<br />TDPE, this derivation involves several conceptual and technical steps. ...
Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization. ...
doi:10.7146/brics.v6i40.20109
fatcat:oeu633pblbbuzezfrki6e2stmy
The second Futamura projection for type-directed partial evaluation
1999
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE). ...
Due to the differences between 'traditional', syntax-directed partial evaluation and TDPE, this derivation involves several conceptual and technical steps. ...
Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization. ...
doi:10.1145/328691.328695
fatcat:7zi7nxhdurdsrkxe3r6ezokexe
A type-directed, on-line, partial evaluator for a polymorphic language
1997
Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
This makes type-directed partial evaluation much more practically useful, and can easily be extended to work in languages with parameterized module systems. 4. ...
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . ...
Type-directed partial evaluation achieves similar results, only in new and novel ways. Type directed partial evaluators can be implemented by rei cation. ...
doi:10.1145/258993.258999
dblp:conf/pepm/Sheard97
fatcat:ix3c6zhk7beetmqh5cngaqg5bq
The second Futamura projection for type-directed partial evaluation
1999
Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE). ...
Due to the differences between 'traditional', syntax-directed partial evaluation and TDPE, this derivation involves several conceptual and technical steps. ...
Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization. ...
doi:10.1145/328690.328695
dblp:conf/pepm/GrobauerY00
fatcat:42v4ig7ktjaqnnisszs4ltg7lq
« Previous
Showing results 1 — 15 out of 2,191,046 results