Andreas Abel

Munich, Germany

http://www.cse.chalmers.se/~abela

Senior lecturer at Gothenburg University and Chalmers.

One of the implementors of the Agda programming language.

Top Questions
No questions with score of 5 or more
Top Answers
No answers with score of 5 or more