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`

.

## Filters

##
###
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

1999
*
BRICS Report Series
*

To this end, we<br />define extensional versions

doi:10.7146/brics.v6i21.20078
fatcat:7mewkeq4ivbfjdmbo5on7q7lr4
*of**lambda*-*lifting**and**lambda*-dropping*and*<br />establish their*correctness*with respect to a least fixed-point semantics. ...*Lambda*-*lifting**and**lambda*-dropping respectively transform a block-structured<br />functional program into recursive equations*and*vice versa. ... Acknowledgements Glynn Winskel suggested that the equation*of*Theorem 1 should be a foundation for extensional*lambda*-*lifting*. ...##
###
Page 4858 of Mathematical Reviews Vol. , Issue 2004f
[page]

2004
*
Mathematical Reviews
*

Summary: “We present a formal

*and*general*specification**of**lambda**lifting**and*prove its*correctness*with respect to a call- by-name operational semantics. ... We use this*specification*to prove the*correctness**of*a*lambda**lifting*algorithm similar to the one pro- posed by Johnsson. ...##
###
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
[chapter]

1999
*
Lecture Notes in Computer Science
*

To this end, we define extensional versions

doi:10.1007/10705424_16
fatcat:ao46h7bjvnaadf4jk6pbjrvkpi
*of**lambda*-*lifting**and**lambda*-dropping*and*establish their*correctness*with respect to a least fixed-point semantics. * Extended version*of*an article to be presented ...*Lambda*-*lifting**and**lambda*-dropping respectively transform a blockstructured functional program into recursive equations*and*vice versa. ... Acknowledgements Glynn Winskel suggested that the equation*of*Theorem 1 should be a foundation for extensional*lambda*-*lifting*. ...##
###
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

1998
*
BRICS Report Series
*

One

doi:10.7146/brics.v5i2.21961
fatcat:fk67ag27xna2vaariwbsifjxky
*of*our two main theorems suggests us to define extensional versions*of**lambda*-*lifting**and**lambda*-dropping, which we visualize both using ML*and*using type-directed partial evaluation. ...*Lambda*-*lifting**and**lambda*-dropping respectively transform a block-structured functional program into recursive equations*and*vice versa. ... Acknowledgements Glynn Winskel suggested that the equation*of*Theorem 1 should be a foundation for extensional*lambda*-*lifting*. ...##
###
Lambda-Lifting in Quadratic Time

2004
*
BRICS Report Series
*

*Lambda*-

*lifting*is a program transformation that is used in compilers, partial evaluators,

*and*program transformers. ... <br /> <br />

*Lambda*-

*lifting*transforms a block-structured program into a set

*of*recursive equations, one for each local function in the source program. ... Millikin, Laurent Réveillère, Henning Korsholm Rohde,

*and*Kristian Støvring Sørensen for their comments on an earlier version

*of*this article,

*and*to Andrzej Filinski for a clarification about ML typing ...

##
###
Lambda-Lifting in Quadratic Time

2003
*
BRICS Report Series
*

*Lambda*-

*lifting*is a program transformation used in compilers

*and*in partial evaluators

*and*that operates in cubic time. ... <br /> <br />

*Lambda*-

*lifting*transforms a block-structured program into a set

*of*recursive equations, one for each local function in the source program. ... Millikin, Laurent Réveillère, Henning Korsholm Rohde,

*and*Kristian Støvring Sørensen for their comments on an earlier version

*of*this article,

*and*to Andrzej Filinski for a clarification about ML typing ...

##
###
Lambda-Lifting in Quadratic Time
[chapter]

2002
*
Lecture Notes in Computer Science
*

*Lambda*-

*lifting*is a program transformation that is used in compilers, partial evaluators,

*and*program transformers. ...

*Lambda*-

*lifting*transforms a block-structured program into a set

*of*recursive equations, one for each local function in the source program. ... Millikin, Laurent Réveillère, Henning Korsholm Rohde,

*and*Kristian Støvring Sørensen for their comments on an earlier version

*of*this article,

*and*to Andrzej Filinski for a clarification about ML typing ...

##
###
Lambda-Lifting in Quadratic Time

2002
*
BRICS Report Series
*

*Lambda*-

*lifting*is a program transformation used in compilers

*and*in partial evaluators

*and*that operates in cubic time. In this article, we show how to reduce this complexity to quadratic time. ... <br /> <br />

*Lambda*-

*lifting*transforms a block-structured program into a set

*of*recursive equations, one for each local function in the source program. ... Millikin, Laurent Réveillère, Henning Korsholm Rohde,

*and*Kristian Støvring Sørensen for their comments on an earlier version

*of*this article,

*and*to Andrzej Filinski for a clarification about ML typing ...

##
###
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

1997
*
BRICS Report Series
*

Both

doi:10.7146/brics.v4i6.18785
fatcat:uqo55kxr2bd2rjwc7kwlw6myhe
*lambda*-*lifting*<br />*and**lambda*-dropping thus require one to compute a transitive<br />closure over the call graph:</p><p>- for*lambda*-*lifting*: to establish the Def/Use path*of*each free<br />variable ... </p><p><br />We believe*lambda*-*lifting**and**lambda*-dropping are interesting per<br />se, both in principle*and*in practice, but our prime application is partial<br />evaluation: except for Malmkjær*and*... Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft,*and*Sergei Soloviev for their kind interest on the general topic*of**lambda*-*lifting**and**lambda*-dropping. ...##
###
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

1998
*
BRICS Report Series
*

Both

doi:10.7146/brics.v5i54.21959
fatcat:3u3uix3y2ncprju2ilisrsxdl4
*lambda*-*lifting**and**lambda*-dropping thus require one to compute Def/Use paths:<ul><li>for*lambda*-*lifting*: each*of*the functions occurring in the path*of*a free variable is passed this variable as a ...*Lambda*-dropping a set*of*recursive equations restores block structure*and*lexical scope. ... Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft,*and*Sergei Soloviev for their kind interest on the general topic*of**lambda*-*lifting**and**lambda*-dropping. ...##
###
Lambda-dropping: transforming recursive equations into programs with block structure

2000
*
Theoretical Computer Science
*

Both

doi:10.1016/s0304-3975(00)00054-2
fatcat:z5aebuca7jh27ky577qeaghkzy
*lambda*-*lifting**and**lambda*-dropping thus require one to compute Def/Use paths: • for*lambda*-*lifting*: each*of*the functions occurring in the path*of*a free variable is passed this variable as a parameter ...*Lambda*-dropping a set*of*recursive equations restores block structure*and*lexical scope. ... Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft,*and*Sergei Soloviev for their kind interest on the general topic*of**lambda*-*lifting**and**lambda*-dropping. ...##
###
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

1999
*
BRICS Report Series
*

Both

doi:10.7146/brics.v6i27.20096
fatcat:bwkchvaribhz3daclqzqkdslhi
*lambda*-*lifting**and**lambda*-dropping thus require one to compute Def/Use paths:</p><p><br />- for*lambda*-*lifting*: each*of*the functions occurring in the path*of*a<br />free variable is passed this variable ...*Lambda*-dropping a set*of*recursive equations restores block structure*and*lexical scope. ... Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft,*and*Sergei Soloviev for their kind interest on the general topic*of**lambda*-*lifting**and**lambda*-dropping. ...##
###
Lambda-dropping

1997
*
SIGPLAN notices
*

Both

doi:10.1145/258994.259007
fatcat:wyuul4rvmfdqjc7pyogja7yaem
*lambda*-*lifting**and**lambda*-dropping thus require one to compute Def/Use paths: • for*lambda*-*lifting*: each*of*the functions occurring in the path*of*a free variable is passed this variable as a parameter ...*Lambda*-dropping a set*of*recursive equations restores block structure*and*lexical scope. ... Heintze, Tue Jakobsen, Kristoffer Rose, Peter Sestoft,*and*Sergei Soloviev for their kind interest on the general topic*of**lambda*-*lifting**and**lambda*-dropping. ...##
###
Implementation of the BEM skewed-wake model within the multibody aero-elastic solver Cp-Lambda

2020
*
E3S Web of Conferences
*

The numerical aerodynamic loads have been compared with the wind tunnel data

doi:10.1051/e3sconf/202017302004
fatcat:a2y6jzrle5cujps4l5lpe5zir4
*of*the NREL Phase VI*and*against another numerical campaign. ... Results show, a possible better prediction*of*loads at yawed flow with Skewed-Wake*correction*, however the method does not overall correlate better, compared to the BEM method with implemented local variability ... The support from the Chair*of*Wind Energy TUM*and*especially Helena Canet Tarres is greatly appreciated. ...##
###
Collapsing towers of interpreters

2017
*
Proceedings of the ACM on Programming Languages
*

We present a multi-level

doi:10.1145/3158140
dblp:journals/pacmpl/AminR18
fatcat:xur2kgrv3racjcaunbi7ukuxjy
*lambda*calculus that features staging constructs*and*stage polymorphism: based on runtime parameters, an interpreter can either act as a normal interpreter or generate code, which ... We present a meta-circular Lisp interpreter on top*of*this calculus*and*demonstrate that we can collapse arbitrarily many levels*of*self-interpretation, including levels with semantic modifications. ... All function calls are in tail position, with inner*lambdas*passed as continuation arguments.*Correctness**and*Optimality*of*Transformation. ...
« Previous

*Showing results 1 — 15 out of 7,223 results*