Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Institut for Biologi. Oversigten viser Instituttets publikationer med de nyeste øverst:

Sortér efter: Dato | Forfatter | Titel

Kissling, W. D., Eiserhardt, W. L., Baker, W. L., Balslev, H., Barfod, A. S., Borchsenius, F., Couvreur, L. P., Dransfield, J., Govaerts, R. & Svenning, J.-C. (2011). Global spatial patterns of species richness and phylogenetic assemblage structure in palms. Abstract fra EUNOPS 11, St. Petersburg, Rusland.

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. (red.) (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. I A. Ralston, E. Reilly & D. Hemmendinger (red.), Encyclopedia of Computer Science (s. 1370-1371). Macmillan Reference.

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

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

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

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

Danvy, O. (1999). Type-Directed Partial Evaluation. I J. Hatcliff, T. Æ. Mogensen & P. Thiemann (red.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (s. 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. I K. G. Larsen, S. Skyum & G. Winskel (red.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (s. 908-917). Springer. https://doi.org/10.1007/BFb0055112

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

Damian, D. & Danvy, O. (2001). Static Transition Compression. I W. Taha (red.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (s. 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. I A. Middeldorp & T. Sato (red.), Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings (s. 241-250). Springer. https://doi.org/10.1007/10705424_16

Danvy, O. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. I S. D. Swierstra (red.), 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 (s. 640). Springer. https://doi.org/10.1007/3-540-49099-X_15

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

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

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

Danvy, O. (1996). Décompilation de lambda-interprètes. I JFLA '96 - Journées Francophones des Langages Applicatifs (Bind 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. I G. Smolka (red.), 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 (s. 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. I T. Nipkow (red.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (s. 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. I PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (s. 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. I Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (s. 271-295)

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. I O. Danvy, R. Glück & P. Thiemann (red.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (s. 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. I H. Kuchen & S. D. Swierstra (red.), Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings (s. 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. I X. Leroy & A. Ohori (red.), Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings (s. 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. I Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (s. 209-220). Association for Computing Machinery.

Danvy, O. (1996). Type-Directed Partial Evaluation. I Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (s. 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. I M. Crochemore & M. Paterson (red.), Combinatorial Pattern Matching: 10th Annual Symposium, CPM 99 Warwick University, UK, July 22–24, 1999 Proceedings (s. 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).

Viser resultater 20451 til 20500 ud af 56403

410

Sortér efter: Dato | Forfatter | Titel

Viser resultater 20451 til 10741 ud af 10741

Revideret 13.03.2026

Anne Kirstine Mehlsen