Scholar
Michael Hanus
Google Scholar ID: SkNKYjQAAAAJ
Professor of Computer Science, Institute of Informatics, CAU Kiel
Programming Languages
Compiler Construction
Declarative Programming
Functional Programming
Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,615
H-index
39
i10-index
108
Publications
20
Co-authors
14
list available
Publications
2 items
A Monadic Implementation of Functional Logic Programs
2026
Cited
0
Functional Logic Program Transformations
2026
Cited
0
Co-authors
5 total
Rachid Echahed
Research Fellow CNRS, Grenoble
Salvador Lucas
DSIC & VRAIN, Universitat Politècnica de València
Ramin Sadre
Université catholique de Louvain
Wilhelm Hasselbring
Professor of Software Engineering, University of Kiel
Aart Middeldorp
University of Innsbruck