Christiansen, J. ., Dylus, S. ., & Bunkenburg, N. . (2019). Verifying Effectful Haskell Programs in Coq. In Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 (S. 125–138). ACM Press. http://doi.org/10.1145/3331545.3342592
Abstract
We show how various Haskell language features that are related to ambient effects can be modeled in Coq. For this purpose we build on previous work that demonstrates how to reason about existing Haskell programs by translating them into monadic Coq programs. A model of Haskell programs in Coq that is polymorphic over an arbitrary monad results in non-strictly positive types when transforming recursive data types likes lists. Such non-strictly positive types are not accepted by Coq’s termination checker. Therefore, instead of a model that is generic over any monad, the approach we build on uses a specific monad instance, namely the free monad in combination with containers, to model various kinds of effects. This model allows effect-generic proofs.
Wallbaum, T. ., Stratmann, T. C., & Boll, S. C. (2019). Classifying Sensitive Issues for Patients with Neurodevelopmental Disorders. In IFIP Conference on Human-Computer Interaction (S. 107–114).
Schlipf, D. ., Hille, N. ., Raach, S. ., Scholbrock, A. ., & Simley, E. . (2018). IEA wind task 32: best practices for the certification of lidar-assisted control applications. In Journal of Physics: Conference Series (Bd. 1102, S. 012010). Hamburg, Germany. http://doi.org/10.1088/1742-6596/1102/1/012010 (Original work published 2024)
Schlipf, D. ., Fürst, H. ., Raach, S. ., & Haizmann, F. . (2018). Systems engineering for lidar-assisted control: a sequential approach. In Journal of Physics: Conference Series (Bd. 1102, S. 012014). Hamburg, Germany. http://doi.org/10.1088/1742-6596/1102/1/012014 (Original work published 2024)
Uzunkol, O. ., & Kiraz, M. S. (2018). Still wrong use of pairings in cryptography. Applied Mathematics and Computation, 333, 467–479. http://doi.org/10.1016/j.amc.2018.03.062 (Original work published 2024)
Annoni, J. ., Fleming, P. ., Scholbrock, A. ., Roadman, J. ., Dana, S. ., Adcock, C. ., … Schlipf, D. . (2018). Analysis of control-oriented wake modeling tools using lidar field results. Wind Energy Science, 3, 819–831. http://doi.org/10.5194/wes-3-819-2018 (Original work published 2024)
Hilpert, S. ., Kaldemeyer, C. ., Krien, U. ., Günther, S. ., Wingenbach, C. ., & Plessmann, G. . (2018). The Open Energy Modelling Framework (oemof) - A new approach to facilitate open science in energy system modelling. Energy Strategy Reviews, 22, 16–25. http://doi.org/10.1016/j.esr.2018.07.001 (Original work published 2024)
Haizmann, F. ., Schlipf, D. ., & Cheng, P. W. (2018). Lidar-assisted extreme load reduction by multi-variable protective derating. In Journal of Physics: Conference Series (Bd. 1037, S. 032025). Milano, Italy. http://doi.org/10.1088/1742-6596/1037/3/032025 (Original work published 2024)
Pettas, V. ., Salari, M. ., Schlipf, D. ., & Cheng, P. W. (2018). Investigation on the potential of individual blade control for lifetime extension. In Journal of Physics: Conference Series (Bd. 1037, S. 032006). Milano, Italy. http://doi.org/10.1088/1742-6596/1037/3/032006 (Original work published 2024)