Björn Lötters and Uwe Meyer. Context-Free Binding Grammars.
Proceedings of the 36th Symposium on Implementation and Application of Functional Languages, 2025.
https://doi.org/10.1145/3723325.3723338
Computer Scientist
Software Enthusiast
Björn
Lötters
Hi, I'm Björn Lötters.
I'm a computer scientist with a passion for programming languages, type theory, and the foundations of software engineering. My work focuses on the development of safe and extensible language technologies that support expressive and verifiable software systems.
Currently, I am pursuing my PhD in the field of domain-specific languages (DSLs) and formal methods. I am developing Noo, a dependently typed language that supports modular and type-safe syntax extensions, enabling deeply integrated DSLs without compromising soundness or structure.
Publications
My research is broadly concerned with the design of high-quality software systems, with a particular focus on formal correctness. I aim to make software development both more flexible and more robust by leveraging the power of programming languages and type theory.
In the context of my PhD, I am developing a programming language called Noo. At its core, this work investigates how syntax extensions can be made modular and well-typed, enabling domain-specific languages to be safely embedded into a unified, dependently typed framework.
The following publications document key milestones along this journey:
Björn Lötters. Context-Free Subphrase Grammars.
In Hemann, J. and Chang, S. (eds.), Trends in Functional Programming, pages 112 - 133, 2025.
https://doi.org/10.1007/978-3-031-74558-4_6
Academic Activity
Alongside my teaching at the University of Applied Sciences Mittelhessen and my PhD research, I am committed to being an active member of the academic community.
- 41th Workshop on Programming Languages and Computational Concepts, Bad Honnef, Germany, April 2025
- 36th Symposium on Implementation and Application of Functional Languages, Nijmegen, Netherlands, August 2024
- 40th Workshop on Programming Languages and Computational Concepts, Bad Honnef, Germany, May 2024
- 25th Symposium on Trends in Functional Programming, South Orange, USA, January 2024
- 39th Workshop on Programming Languages and Computational Concepts, Bad Honnef, Germany, May 2023
- 38th Workshop on Programming Languages and Computational Concepts, Bad Honnef, Germany, May 2022
- 37th Workshop on Programming Languages and Computational Concepts, Bad Honnef, Germany, May 2021