Alexander Dinges, M.Sc.
| alexander.dinges@cs.rptu.de | |
| Phone | +49 - 631 - 205 - 26 46 |
| Fax | +49 - 631 - 205 - 34 20 |
| Postal address | TU Kaiserslautern Fachbereich Informatik, Gebäude 34 Postfach 30 49 D-67653 Kaiserslautern |
| Visitor address | Gebäude 34, Raum 408 Gottlieb-Daimler-Str. Zugang über Paul-Ehrlich-Str. D-67653 Kaiserslautern Google-Karte |
Publications
- Truly Functional Solutions to the Longest Uptrend Problem (Functional Pearl) Alexander Dinges and Ralf Hinze. ICFP ’25.
- Binary search—think positive Alexander Dinges and Ralf Hinze. JFP, vol 35, 2025.
- What’s in a bag? Alexander Dinges and Ralf Hinze. IFL ’22.
