Michael Hanus
Christian-Albrechts-Universität zu Kiel
H-index: 39
Europe-Germany
Top articles of Michael Hanus
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Functional and logic programming: Selected papers of FLOPS 2022 | Michael Hanus Atsushi Igarashi | 2024/4/12 | |
Inferring Non-Failure Conditions for Declarative Programs | arXiv preprint arXiv:2402.12960 | Michael Hanus | 2024/2/20 |
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings | Michael Hanus Daniela Inclezan | 2023/1/9 | |
GPCE 2022 Most Influential Paper: Xbase: Implementing Domain-Specific Languages for Java | Sven Efftinge Moritz Eysholdt Jan Köhnlein Sebastian Zarnekow Robert von Massow | 2023 | |
A monadic implementation of functional logic programs | Michael Hanus Kai-Oliver Prott Finn Teegen | 2022/9/20 | |
From logic to functional logic programs | Theory and Practice of Logic Programming | Michael Hanus | 2022/7 |
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings | Michael Hanus Atsushi Igarashi | 2022/5/3 | |
Integration of Functional and Logic Languages (Dagstuhl Seminar 9621) | Michael Hanus John W Lloyd Juan José Moreno Navarro | 2021 | |
Can Logic Programming Be Liberated from Backtracking? | Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung | Michael Hanus | 2021 |
Lightweight Declarative Server-Side Web Programming | Michael Hanus | 2021 | |
From non-determinism to goroutines: A fair implementation of curry in go | Jonas Böhm Michael Hanus Finn Teegen | 2021/9/6 | |
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers | Michael Hanus Claudio Sacerdoti Coen | 2021/5/5 | |
ICurry | Sergio Antoy Michael Hanus Andy Jost Steven Libby | 2020 | |
Combining static and dynamic contract checking for curry | Fundamenta Informaticae | Michael Hanus | 2020/1/1 |
Memoized pull-tabbing for functional logic programming | Michael Hanus Finn Teegen | 2020/9/7 | |
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020) | arXiv preprint arXiv:2009.01001 | Michael Hanus Claudio Sacerdoti Coen | 2020/9/2 |