Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Rohde, Henning Korsholm"'
Autor:
Rohde, Henning Korsholm
Publikováno v:
Rohde, H K 2005, Formal Aspects of Partial Evaluation . BRICS Dissertation Series, no. DS-05-9, Afdeling for Kunsthistorie, Institut for Æstetiske Fag, Aarhus Universitet, Aarhus .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::405c3cbbf35a5780bb9a5f9f81a76a48
https://pure.au.dk/portal/da/publications/formal-aspects-of-partial-evaluation(a05ab380-b21f-11da-bee9-02004c4f4f50).html
https://pure.au.dk/portal/da/publications/formal-aspects-of-partial-evaluation(a05ab380-b21f-11da-bee9-02004c4f4f50).html
Autor:
Rohde, Henning Korsholm
Publikováno v:
Rohde, H K 2005, ' On the Recursive Enumerability of Fixed-Point Combinators ', B R I C S Report Series, no. RS-05-34 .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::a312bc2f4102e8cff6d41813797d2789
https://pure.au.dk/portal/da/publications/on-the-recursive-enumerability-of-fixedpoint-combinators(e24657e0-adce-11da-bee9-02004c4f4f50).html
https://pure.au.dk/portal/da/publications/on-the-recursive-enumerability-of-fixedpoint-combinators(e24657e0-adce-11da-bee9-02004c4f4f50).html
Publikováno v:
Filinski, A, Rohde, H K & Walukiewicz, I (ed.) 2004, A Denotational Account of Untyped Normalization by Evaluation . in Foundations of Software Science and Computation Structures : Proceedings of the 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 . 2987 edn, vol. Lecture Notes in Computer Science, Springer, pp. 167-181, Foundations of Software Science and Computation Structures (FOSSACS 2004), Barcelona, Spain, 29/03/2004 .
We show that the standard normalization-by-evaluation construction for the simply-typed λβγ-calculus has a natural counterpart for the untyped λβ-calculus, with the central type-indexed logical relation replaced by a recursively defined invarian
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::1d2d83b03b05c564d3be00df77adec9e
https://pure.au.dk/portal/da/publications/a-denotational-account-of-untyped-normalization-by-evaluation(28dcc730-3522-11dc-bee9-02004c4f4f50).html
https://pure.au.dk/portal/da/publications/a-denotational-account-of-untyped-normalization-by-evaluation(28dcc730-3522-11dc-bee9-02004c4f4f50).html
Publikováno v:
Filinski, A & Rohde, H K 2004, ' A Denotational Account of Untyped Normalization by Evaluation ', Lecture Notes in Computer Science, vol. Volume 2987/2004, no. 13 .
BRICS Report Series; No 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation
BRICS Report Series; Nr. 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation
BRICS Report Series; No 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation
BRICS Report Series; Nr. 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation
We show that the standard normalization-by-evaluation construction for the simply-typed lambda_{beta eta}-calculus has a natural counterpart for the untyped lambda_beta-calculus, with the central type-indexed logical relation replaced by a "recursive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a700998ea541e627dea065e906cd033a
https://doi.org/10.7146/brics.v10i40.21808
https://doi.org/10.7146/brics.v10i40.21808
Publikováno v:
In Information Processing Letters 2006 99(4):158-162
Publikováno v:
Proceedings of the 2003 ACM SIGPLAN Workshop: Partial Evaluation & Semantics-based Program Manipulation; 6/ 7/2003, p3-9, 7p
Publikováno v:
Proceedings of the Asian Symposium: Partial Evaluation & Semantics-based Program Manipulation; 9/12/2002, p32-46, 15p
Publikováno v:
ACM Transactions on Programming Languages & Systems; Jul2006, Vol. 28 Issue 4, p696-714, 19p
Publikováno v:
RAIRO - Theoretical Informatics & Applications; Jul2005, Vol. 39 Issue 3, p423-453, 31p