Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... Notes in Computer Science, Band 10644)
Ein kompakter Sammelband, der die neuesten Erkenntnisse zur algebraischen Softwareentwicklung aus dem WADT‑2016 Workshop präsentiert; er verbindet ...