{"product_id":"itu-ds-practical-reflection-and-metaprogramming-for-dependent-types-david-raymond-christiansen-haeftet-2313916","title":"ITU DS Practical reflection and metaprogramming for dependent types","description":null,"brand":"Diverse kreditorer (bibi)","offers":[{"title":"Default Title","offer_id":53477526372616,"sku":"2313916","price":0.0,"currency_code":"DKK","in_stock":false}],"url":"https:\/\/mitir.indeksretail.dk\/products\/itu-ds-practical-reflection-and-metaprogramming-for-dependent-types-david-raymond-christiansen-haeftet-2313916","provider":"Ordreportal","version":"1.0","type":"link"}