Hofmann, MartinMartinHofmannKitzelmann, EmanuelEmanuelKitzelmannSchmid, UteUteSchmid0000-0002-1301-03262019-09-192014-04-302010978-3-642-11930-9https://fis.uni-bamberg.de/handle/uniba/3385engPorting IGORII from MAUDE to HASKELLconferenceobject10.1007/978-3-642-11931-6