Eissing, C. S., Richter, A., & Schlipf, D. (2023). CPACS LTA—-Using Common Data Structures for Visualization and Optimization of Airship Designs. In D. Shukla (Hrsg.), Lighter Than Air Systems (S. 25–36). Singapore: Springer Nature Singapore. http://doi.org/10.1007/978-981-19-6049-9_2
Petersen, K., Wasse, A., Cruse, T., Sietas, J., & Gerken, J. M. (2023). On the Impact of a Business Intelligence System on Analysis Effort: A Case Study of Flensburg Municipality in Germany. Anwendungen und Konzepte der Wirtschaftsinformatik (AKWI), (18), 13.
Hofmann, M., Witte, F., Fritz, M., Freißmann, J., Tuschy, I., & Tsatsaronis, G. (2023). Free and Open-Source Teaching: Understanding Exergy Using Thermal Engineering Systems in Python (TESPy). In 36th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS 2023) (Bd. 2023, S. 195–209). Curran Associates, Inc. http://doi.org/10.52202/069564-0019
Königs, M., & Löhlein, B. (2023). Lumped model for the calculation of harmonic eddy current loss in permanent magnets for homogeneous flux distributions considering eddy current reaction flux. e&i Elektrotechnik und Informationstechnik, 140(2). http://doi.org/10.1007/s00502-023-01147-z
Börstler, J., Bin Ali, N., & Petersen, K. (2023). Double-counting in software engineering tertiary studies—An overlooked threat to validity. Information and Software Technology, 107174.
Jöns, T., Königs, M., & Löhlein, B. (2023). Investigations of the double-fed induction machine with a phase shifting transformer. In ETG-Fachbericht zum Internationalen ETG-Kongress. VDE Verlag GmbH. Abgerufen von https://ieeexplore.ieee.org/document/10173020
Minhas, N. M., Irshad, M., Petersen, K., & Börstler, J. (2023). Lessons learned from replicating a study on information-retrieval-based test case prioritization. Software quality journal, 1–33.
Prott, K.-O., Teegen, F., & Christiansen, J. (2023). Embedding Functional Logic Programming in Haskell via a Compiler Plugin. In Practical Aspects of Declarative Languages. Boston, MA, USA: Springer. http://doi.org/10.1017/978-3-031-24841-2_3
Abstract
We present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the functional logic semantics explicitly. Using a GHC plugin, we get many language extensions that GHC provides for free in the embedded language. As a result, we obtain a seamless embedding of a functional logic language, without having to implement a full compiler. We briefly show that our approach can be used to embed other domain-specific languages as well. Furthermore, we can use such a plugin to build a full blown compiler for our language.