Registered user since Thu 15 Dec 2016

Name: Michael Hanus

Country: Germany

Affiliation: Kiel University

Personal website: https://www.informatik.uni-kiel.de/~mh/

Research interests: Programming Languages, Functional Programming, Logic Programming

Contributions