Michael Hanus
Christian-Albrechts-Universität zu Kiel
H-index: 39
Europe-Germany
Top articles of Michael Hanus
Functional and logic programming: Selected papers of FLOPS 2022
2024/4/12
Michael Hanus
H-Index: 16
Atsushi Igarashi
H-Index: 15
Inferring Non-Failure Conditions for Declarative Programs
arXiv preprint arXiv:2402.12960
2024/2/20
Michael Hanus
H-Index: 16
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
2023/1/9
Michael Hanus
H-Index: 16
Daniela Inclezan
H-Index: 6
GPCE 2022 Most Influential Paper: Xbase: Implementing Domain-Specific Languages for Java
2023
Wilhelm Hasselbring
H-Index: 30
Michael Hanus
H-Index: 16
A monadic implementation of functional logic programs
2022/9/20
Michael Hanus
H-Index: 16
From logic to functional logic programs
Theory and Practice of Logic Programming
2022/7
Michael Hanus
H-Index: 16
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
2022/5/3
Michael Hanus
H-Index: 16
Atsushi Igarashi
H-Index: 15
From non-determinism to goroutines: A fair implementation of curry in go
2021/9/6
Michael Hanus
H-Index: 16
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
2021/5/5
Michael Hanus
H-Index: 16
Claudio Sacerdoti Coen
H-Index: 12
Integration of Functional and Logic Languages (Dagstuhl Seminar 9621)
2021
Michael Hanus
H-Index: 16
Can Logic Programming Be Liberated from Backtracking?
Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
2021
Michael Hanus
H-Index: 16
Lightweight Declarative Server-Side Web Programming
2021
Michael Hanus
H-Index: 16
Combining static and dynamic contract checking for curry
Fundamenta Informaticae
2020/1/1
Michael Hanus
H-Index: 16
Memoized pull-tabbing for functional logic programming
2020/9/7
Michael Hanus
H-Index: 16
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
arXiv preprint arXiv:2009.01001
2020/9/2
Michael Hanus
H-Index: 16
Claudio Sacerdoti Coen
H-Index: 12
Co-Authors
