Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Defunctionalized Interpreters for Call-by-Need Evaluation

Autor: Danvy, Olivier, Millikin, Kevin, Munk, Johan, Zerny, Ian

Publikováno v: Danvy, O, Millikin, K, Munk, J & Zerny, I 2010, ' Defunctionalized Interpreters for Call-by-Need Evaluation ', Lecture Notes in Computer Science, vol. 6009, pp. 240-256 . https://doi.org/10.1007/978-3-642-12251-4_18

Starting from the standard call-by-need reduction for the λ-calculus that is common to Ariola, Felleisen, Maraist, Odersky, and Wadler, we inter-derive a series of hygienic semantic artifacts: a reduction-free stateless abstract machine, a continuat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::2eb567de834d26e54790604e31b2d11c
https://pure.au.dk/portal/da/publications/defunctionalized-interpreters-for-callbyneed-evaluation(068024c0-0135-11df-9c17-000ea68e967b).html

A Structured Approach to the Transformation, Normalization and Execution of Computer Programs

Autor: Millikin, Kevin

Publikováno v: Millikin, K 2007, A Structured Approach to the Transformation, Normalization and Execution of Computer Programs . Daimi PhD Dissertation, no. PD-07-3 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::314adab079beb771254ff8bc92db97d5
https://pure.au.dk/portal/da/publications/a-structured-approach-to-the-transformation-normalization-and-execution-of-computer-programs(824e02c0-e5ee-11dc-9afb-000ea68e967b).html

A Rational Deconstruction of Landin's J Operator

Autor: Danvy, Olivier, Millikin, Kevin

Publikováno v: Danvy, O & Millikin, K 2006, ' A Rational Deconstruction of Landin 's J Operator ', B R I C S Report Series, no. RS-06-17 .

Landin's J operator was the first control operator for functional languages. It was specified with an extension of the SECD machine, which was the first abstract machine for functional languages. We present a family of compositional evaluation functi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::0e96ef596c9af88f5a9d43c880953ddb
https://pure.au.dk/portal/da/publications/a-rational-deconstruction-of-landins-j-operator(cae94120-2622-11dc-bee9-02004c4f4f50).html

Chapter 1: Best Student Paper: A New Approach to One-Pass Transformations.

Autor: Millikin, Kevin

Publikováno v: Trends in Functional Programming Volume 6; 2007, Vol. 6, p1-13, 13p