by JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK
Published in Journal of functional programming (2018)

by Jung, Ralf, Jourdan, Jacques-Henri, Krebbers, Robbert, Dreyer, Derek
Published in Proceedings of ACM on programming languages (01.01.2018)

by Jung, Ralf, Lepigre, Rodolphe, Parthasarathy, Gaurav, Rapoport, Marianna, Timany, Amin, Dreyer, Derek, Jacobs, Bart
Published in Proceedings of ACM on programming languages (01.01.2020)

by Schütze, Andreas, Baur, Tobias, Leidinger, Martin, Reimringer, Wolfhard, Jung, Ralf, Conrad, Thorsten, Sauerwald, Tilman
Published in Environments (Basel, Switzerland) (01.03.2017)

by Wang, Qian, Jung, Ralf
Published in Proceedings of ACM on programming languages (08.10.2024)

by TITTEL, SASCHA R., HESS, GREGOR, MUEHLDORFER, STEFFEN, GILLESSEN, ANTON, JUNG, RALF, KARL, MANUELA D., LANZINGER, STEFANIE
Published in Diabetes (New York, N.Y.) (20.06.2023)

by Jung, Ralf, Dang, Hoang-Hai, Kang, Jeehoon, Dreyer, Derek
Published in Proceedings of ACM on programming languages (01.01.2020)

by Yanovski, Joshua, Dang, Hoang-Hai, Jung, Ralf, Dreyer, Derek
Published in Proceedings of ACM on programming languages (01.08.2021)

by Spies, Simon, Gäher, Lennard, Tassarotti, Joseph, Jung, Ralf, Krebbers, Robbert, Birkedal, Lars, Dreyer, Derek
Published in Proceedings of ACM on programming languages (29.08.2022)

by Gäher, Lennard, Sammler, Michael, Jung, Ralf, Krebbers, Robbert, Dreyer, Derek
Published in Proceedings of ACM on programming languages (20.06.2024)

by Krebbers, Robbert, Jourdan, Jacques-Henri, Jung, Ralf, Tassarotti, Joseph, Kaiser, Jan-Oliver, Timany, Amin, Charguéraud, Arthur, Dreyer, Derek
Published in Proceedings of ACM on programming languages (01.09.2018)

by Gäher, Lennard, Sammler, Michael, Spies, Simon, Jung, Ralf, Dang, Hoang-Hai, Krebbers, Robbert, Kang, Jeehoon, Dreyer, Derek
Published in Proceedings of ACM on programming languages (01.01.2022)

by Krebbers, Robbert, Jung, Ralf, Bizjak, Aleš, Jourdan, Jacques-Henri, Dreyer, Derek, Birkedal, Lars
Published in Programming Languages and Systems (2017)

by Tassarotti, Joseph, Jung, Ralf, Harper, Robert
Published in Programming Languages and Systems (2017)

by Lee, Juneyoung, Hur, Chung-Kil, Jung, Ralf, Liu, Zhengyang, Regehr, John, Lopes, Nuno P.
Published in Proceedings of ACM on programming languages (01.11.2018)

by Jung, Ralf
Published in Proceedings of meetings on acoustics (28.04.2010)

by Mike Barbeck, Ole Jung, Ralf Smeets, Tadas Koržinskas
Year of Publication 2019

by Bohdjalian, Arthur, Prager, Gerhard, Rosak, Christoph, Weiner, Rudolf, Jung, Ralf, Schramm, Markus, Aviv, Ricardo, Schindler, Karin, Haddad, Walid, Rosenthal, Norbert, Ludvik, Bernhard
Published in Obesity surgery (01.09.2009)

by Sharma, Upamanyu, Jung, Ralf, Tassarotti, Joseph, Kaashoek, M Frans, Zeldovich, Nickolai
Published in arXiv.org (14.09.2023)

by Krüger, Antonio, Spassova, Lübomira, Jung, Ralf
Published in Information technology (Munich, Germany) (01.03.2010)