Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 673-680. https://doi.org/10.1017/S0956796801004166

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. Higher-Order and Symbolic Computation, 10(2), 101-111. https://doi.org/10.1023/A:1007736916360

Danvy, O., Hentze, N. & Malmkjær, K. (1996). Resource-bounded partial evaluation. A C M Computing Surveys, 28(2), 329-332. https://doi.org/10.1145/234528.234741

Damian, D. & Danvy, O. (2003). Syntactic accidents in program analysis: on the impact of the CPS transformation. Journal of Functional Programming, 13(5), 867-904. https://doi.org/10.1017/S0956796802004379

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). The essence of eta-expansion in partial evaluation. Higher-Order and Symbolic Computation, 8(3), 209-227. https://doi.org/10.1007/BF01019004

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. Journal of Functional Programming, 7(3), 303-319.

Danvy, O. (Ed.) (1999). Proceedings of the 1999 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery.

Danvy, O. & Hatcliff, J. (2000). Partial Evaluation. In A. Ralston, E. Reilly & D. Hemmendinger (Eds.), Encyclopedia of Computer Science (pp. 1370-1371). Macmillan Reference.

Danvy, O., Glück, R. & Thiemann, P. (Eds.) (1996). Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers. Springer. Lecture Notes in Computer Science Vol. 1110 https://doi.org/10.1007/3-540-61580-6

Danvy, O. & Dybjer, P. (Eds.) (1998). Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Department of Computer Science, Aarhus University. BRICS Notes Series No. NA-98-1

Danvy, O. (Ed.) (1996). Proceedings of the Second ACM SIGPLAN Workshop on Continuations. CW '97. Department of Computer Science, Aarhus University. BRICS Notes Series No. NS-96-13

Danvy, O. & Filinski, A. (Eds.) (2001). Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings. Springer. Lecture Notes in Computer Science Vol. 2053 https://doi.org/10.1007/3-540-44978-7

Danvy, O. (1999). Type-Directed Partial Evaluation. In J. Hatcliff, T. Æ. Mogensen & P. Thiemann (Eds.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (pp. 367-411). Springer. https://doi.org/10.1007/3-540-47018-2_16

Jensen, K., Mayntz, D., Toft, S., Raubenheimer, D. & Simpson, S. J. (2011). Nutrient regulation in a predator, the wolf spider Pardosa prativaga. Animal Behaviour, 81(5), 993-999. https://doi.org/10.1016/j.anbehav.2011.01.035, https://doi.org/10.1016/j.anbehav.2011.01.035

Danvy, O. (1998). A simple solution to type specialization. In K. G. Larsen, S. Skyum & G. Winskel (Eds.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (pp. 908-917). Springer. https://doi.org/10.1007/BFb0055112

Danvy, O., Rhiger, M. & Grobauer, B. (2001). A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer. https://doi.org/10.1007/3-540-44806-3_7

Damian, D. & Danvy, O. (2001). Static Transition Compression. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 92-107). Springer. https://doi.org/10.1007/3-540-44806-3_6

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. In A. Middeldorp & T. Sato (Eds.), Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings (pp. 241-250). Springer. https://doi.org/10.1007/10705424_16

Danvy, O. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. In S. D. Swierstra (Ed.), Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings (pp. 640). Springer. https://doi.org/10.1007/3-540-49099-X_15

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. In Proceedings of the Third ACM SIGPLAN Workshop on Continuations

Danvy, O. & Rhiger, M. (1997). Compiling Actions by Type-Directed Partial Evaluation. In Proceedings of the Nordic Workshop on Programming Theory. NWPT'97

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. In roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (pp. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

Danvy, O. (1996). Décompilation de lambda-interprètes. In JFLA '96 - Journées Francophones des Langages Applicatifs (Vol. 15)

Martins, H. & Villesen, P. (2011). Improved integration time estimation of endogenous retroviruses with phylogenetic data. PLoS One, 6(3), e14745. https://doi.org/10.1371/journal.pone.0014745

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_6

Danvy, O. & Rose, K. H. (1998). Higher-order rewriting and partial evaluation. In T. Nipkow (Ed.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (pp. 286-301). Springer. https://doi.org/10.1007/BFb0052377

Danvy, O. & Schultz, U. P. (1997). Lambda-dropping: transforming recursive equations into programs with block structure. In PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (pp. 90-106). Association for Computing Machinery. https://doi.org/10.1145/258993.259007

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. Electronic Notes in Theoretical Computer Science, 26, 21-33. https://doi.org/10.1016/S1571-0661(05)80281-6

Danvy, O. (1998). Online Type-Directed Partial Evaluation. In Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (pp. 271-295)

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. In O. Danvy, R. Glück & P. Thiemann (Eds.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (pp. 73-94). Springer. https://doi.org/10.1007/3-540-61580-6_5

Danvy, O. & Vestergaard, R. (1996). Semantics-based compiling: A case study in type-directed partial evaluation. In H. Kuchen & S. D. Swierstra (Eds.), Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings (pp. 182-197). Springer. https://doi.org/10.1007/3-540-61756-6_85

Balat, V. & Danvy, O. (1998). Strong normalization by type-directed partial evaluation and run-time code generation. In X. Leroy & A. Ohori (Eds.), Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings (pp. 240-252). Springer. https://doi.org/10.1007/BFb0055521

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (pp. 209-220). Association for Computing Machinery.

Danvy, O. (1996). Type-Directed Partial Evaluation. In Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (pp. 242-257). Association for Computing Machinery.

Hatcliff, J. & Danvy, O. (1996). A computational formalization for partial evaluation. BRICS Report Series, RS-96-34.

Esmann, M., Karlish, S. J., Sottrup-Jensen, L. & Marsh, D. (1994). Structural integrity of the membrane domains in extensively trypsinized Na,K-ATPase from shark rectal glands. Biochemistry, 33(26), 8044-8050.

Esmann, M. & Sottrup-Jensen, L. (1992). Occlusion of Rb+ after extensive tryptic digestion of shark rectal gland Na,K-ATPase. BBA General Subjects, 1108(2), 247-252.

Mortensen, M. F., Birks, H. H., Christensen, C., Holm, J., Noe-Nygaard, N., Odgaard, B. V., Olsen, J. & Rasmussen, K. L. (2011). Late glacial vegetation development in Denmark – new evidence based on macrofossil and pollen from Slotseng, a small-scale site in southern Jutland. Quaternary Science Reviews, 30(19-20), 2534-2550. https://doi.org/10.1016/j.quascirev.2011.04.018

Brodal, G. S., Lyngsø, R. B., Pedersen, C. N. S. & Stoye, J. (1999). Finding Maximal Pairs with Bounded Gap. In M. Crochemore & M. Paterson (Eds.), Combinatorial Pattern Matching: 10th Annual Symposium, CPM 99 Warwick University, UK, July 22–24, 1999 Proceedings (pp. 134-149). Springer. https://doi.org/10.1007/3-540-48452-3_11

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS Report Series, (RS-04-3).

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). Functional Correspondence between Evaluators and Abstract Machines. BRICS Report Series, (RS-03-13).

Danvy, O. & Nielsen, L. R. (2000). A Higher-Order Colon Translation. BRICS Report Series, (RS-00-33).

Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. BRICS Report Series, (RS-02-53).

Danvy, O. (2003). A Rational Deconstruction of Landin's SECD Machine. BRICS Report Series, (RS-03-33).

Danvy, O. (1998). A Simple Solution to Type Specialization. BRICS Report Series, (RS-98-1).

Danvy, O. & Rhiger, M. (2000). A Simple Take on Typed Abstract Syntax in Haskell-Like Languages. BRICS Report Series, (RS-00-34).

Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. BRICS Report Series, (RS-02-37).

Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. BRICS Report Series, (RS-01-29).

Danvy, O. (1998). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-98-2).

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-99-21).

Displaying results 20451 to 20500 out of 56293

410

Sort by: Date | Author | Title

Displaying results 20451 to 10717 out of 10717

Revised 13.03.2026

Anne Kirstine Mehlsen