Janis Voigtländer profile picture

Janis Voigtländer

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the 2012 Haskell Symposium
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings