in Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 11950, Pages: 375-391 (16)
Conference
8Th Central European Functional Programming School, Cefp 2019, Date: 17 June 2019 through 21 June 2019, Location: Budapest