Tail Recursion Modulo Context: An Equational Approach von Leijen, Daan, Lorenzen, Anton

Volltext

Reference counting with frame limited reuse von Lorenzen, Anton, Leijen, Daan

Volltext

FP²: Fully in-Place Functional Programming von Lorenzen, Anton, Leijen, Daan, Swierstra, Wouter

Volltext

FP2: Fully in-Place Functional Programming von Lorenzen, Anton, Leijen, Daan, Swierstra, Wouter

Volltext

The Functional Essence of Imperative Binary Search Trees von Lorenzen, Anton, Leijen, Daan, Swierstra, Wouter, Lindley, Sam

Volltext

Oxidizing OCaml with Modal Memory Management von Lorenzen, Anton, White, Leo, Dolan, Stephen, Eisenberg, Richard A., Lindley, Sam

Volltext

CICM'22 System Entries von Koepke, Peter, Lorenzen, Anton, Shminke, Boris

Volltext

Interpreting Mathematical Texts in Naproche-SAD von De Lon, Adrian, Koepke, Peter, Lorenzen, Anton

Volltext

Beautiful Formalizations in Isabelle/Naproche von De Lon, Adrian, Koepke, Peter, Lorenzen, Anton, Marti, Adrian, Schütz, Marcel, Sturzenhecker, Erik

Volltext

Modal Effect Types von Tang, Wenhao, White, Leo, Dolan, Stephen, Hillerström, Daniel, Lindley, Sam, Lorenzen, Anton

Volltext bestellen

Modal Effect Types von Tang, Wenhao, White, Leo, Dolan, Stephen, Hillerström, Daniel, Lindley, Sam, Lorenzen, Anton

Volltext

Circular RNAs in kidney disease and cancer von van Zonneveld, Anton Jan, Kölling, Malte, Bijkerk, Roel, Lorenzen, Johan M.

Volltext

Prognostic value of the micronucleus assay for clinical endpoints in neoadjuvant radiochemotherapy for rectal cancer von Dröge, Leif Hendrik, Hennies, Steffen, Lorenzen, Stephan, Conradi, Lena-Christin, Quack, Henriette, Liersch, Torsten, Helms, Christian, Frank, Miriam Alice, Schirmer, Markus Anton, Rave-Fränk, Margret, Beißbarth, Tim, Wolff, Hendrik Andreas

Volltext

Circumpolar phylogeography and demographic history of beluga whales reflect past climatic fluctuations von Skovrind, Mikkel, Louis, Marie, Westbury, Michael V., Garilao, Cristina, Kaschner, Kristin, Castruita, José Alfredo Samaniego, Gopalakrishnan, Shyam, Knudsen, Steen Wilhelm, Haile, James S., Dalén, Love, Meshchersky, Ilya G., Shpak, Olga V., Glazov, Dmitry M., Rozhnov, Viatcheslav V., Litovka, Dennis I., Krasnova, Vera V., Chernetsky, Anton D., Bel‘kovich, Vsevolod M., Lydersen, Christian, Kovacs, Kit M., Heide‐Jørgensen, Mads Peter, Postma, Lianne, Ferguson, Steven H., Lorenzen, Eline D.

Volltext

Key ecological research questions for Central European forests von Ammer, Christian, Fichtner, Andreas, Fischer, Anton, Gossner, Martin M., Meyer, Peter, Seidl, Rupert, Thomas, Frank M., Annighöfer, Peter, Kreyling, Jürgen, Ohse, Bettina, Berger, Uta, Feldmann, Eike, Häberle, Karl-Heinz, Heer, Katrin, Heinrichs, Steffi, Huth, Franka, Krämer-Klement, Klara, Mölder, Andreas, Müller, Jörg, Mund, Martina, Opgenoorth, Lars, Schall, Peter, Scherer-Lorenzen, Michael, Seidel, Dominik, Vogt, Juliane, Wagner, Sven

Volltext

Climatic controls of decomposition drive the global biogeography of forest-tree symbioses von Steidinger, B. S., Crowther, T. W., Liang, J., Van Nuland, M. E., Werner, G. D. A., Reich, P. B., Nabuurs, G. J., de-Miguel, S., Zhou, M., Picard, N., Herault, B., Zhao, X., Zhang, C., Routh, D., Peay, K. G.

Volltext

Dihydropyrimidine Dehydrogenase Testing prior to Treatment with 5-Fluorouracil, Capecitabine, and Tegafur: A Consensus Paper von Wörmann, Bernhard, Bokemeyer, Carsten, Burmeister, Thomas, Köhne, Claus-Henning, Schwab, Matthias, Arnold, Dirk, Blohmer, Jens-Uwe, Borner, Markus, Brucker, Sara, Cascorbi, Ingolf, Decker, Thomas, de Wit, Maike, Dietz, Andreas, Einsele, Hermann, Eisterer, Wolfgang, Folprecht, Gunnar, Hilbe, Wolfgang, Hoffmann, Jürgen, Knauf, Wolfgang, Kunzmann, Volker, Largiadèr, Carlo R., Lorenzen, Sylvie, Lüftner, Diana, Moehler, Markus, Nöthen, Markus M., Pox, Christian, Reinacher-Schick, Anke, Scharl, Anton, Schlegelberger, Brigitte, Seufferlein, Thomas, Sinn, Marianne, Stroth, Matthias, Tamm, Ingo, Trümper, Lorenz, Wilhelm, Martin, Wöll, Ewald, Hofheinz, Ralf-Dieter

Volltext

Megahertz single-particle imaging at the European XFEL von Sobolev, Egor, Zolotarev, Sergei, Giewekemeyer, Klaus, Bielecki, Johan, Okamoto, Kenta, Reddy, Hemanth K. N., Andreasson, Jakob, Ayyer, Kartik, Barak, Imrich, Bari, Sadia, Barty, Anton, Bean, Richard, Bobkov, Sergey, Chapman, Henry N., Chojnowski, Grzegorz, Daurer, Benedikt J., Dörner, Katerina, Ekeberg, Tomas, Flückiger, Leonie, Galzitskaya, Oxana, Gelisio, Luca, Hauf, Steffen, Hogue, Brenda G., Horke, Daniel A., Hosseinizadeh, Ahmad, Ilyin, Vyacheslav, Jung, Chulho, Kim, Chan, Kim, Yoonhee, Kirian, Richard A., Kirkwood, Henry, Kulyk, Olena, Küpper, Jochen, Letrun, Romain, Loh, N. Duane, Lorenzen, Kristina, Messerschmidt, Marc, Mühlig, Kerstin, Ourmazd, Abbas, Raab, Natascha, Rode, Andrei V., Rose, Max, Round, Adam, Sato, Takushi, Schubert, Robin, Schwander, Peter, Sellberg, Jonas A., Sikorski, Marcin, Silenzi, Alessandro, Song, Changyong, Spence, John C. H., Stern, Stephan, Sztuk-Dambietz, Jolanta, Teslyuk, Anthon, Timneanu, Nicusor, Trebbin, Martin, Uetrecht, Charlotte, Weinhausen, Britta, Williams, Garth J., Xavier, P. Lourdu, Xu, Chen, Vartanyants, Ivan A., Lamzin, Victor S., Mancuso, Adrian, Maia, Filipe R. N. C.

Volltext

Dissertatio Historico-Publica Inauguralis De Praerogativis Episcopatus Et Principatus Bambergensis :Annexis Quatuor Illustribus, Juris Publici, Et Feudalis Quaestionibus, Ex Inde R... von Schmidt, Benedikt

Volltext bestellen

Dissertatio Historico-Publica Inauguralis De Praerogativis Episcopatus Et Principatus Bambergensis :Annexis Quatuor Illustribus, Juris Publici, Et Feudalis Quaestionibus, Ex Inde R... von Schmidt, Benedikt

Volltext bestellen