Aetiology of thrombosed external haemorrhoids: a questionnaire study

Autor: Rohde Henning, Hilger York, Gebbensleben Ole

Publikováno v: BMC Research Notes, Vol 2, Iss 1, p 216 (2009)

Abstract Background It is important to better understand the aetiology of thrombosed external haemorrhoids (TEH) because recurrence rates are high, prophylaxis is unknown, and optimal therapy is highly debated. Findings We conducted a questionnaire s

Externí odkaz: https://doaj.org/article/05a35b2dfdae4f68b995d0b8a32b3b26

Formal Aspects of Partial Evaluation

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

A Denotational Account of Untyped Normalization by Evaluation

Autor: Filinski, Andrzej, Rohde, Henning Korsholm

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

On obtaining the Boyer–Moore string-matching algorithm by partial evaluation

Autor: Danvy, Olivier, Rohde, Henning Korsholm

Publikováno v: In Information Processing Letters 2006 99(4):158-162

Fast partial evaluation of pattern matching in strings.

Autor: Ager, Mads Sig, Danvy, Olivier, Rohde, Henning Korsholm

Publikováno v: Proceedings of the 2003 ACM SIGPLAN Workshop: Partial Evaluation & Semantics-based Program Manipulation; 6/ 7/2003, p3-9, 7p