Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science, 11423, Band 11423)
Ein tiefgehendes Sammelwerk aus dem 28. ESOP, das innovative Ansätze zur formalen Semantik, Typtheorie und verteilten Systemen beleuchtet und zugleic ...