A sound and complete logic for algebraic effects

Chi tiết về thư mục
Những tác giả chính: Staton, S, Matache, C
Định dạng: Conference item
Được phát hành: Springer 2019

Những quyển sách tương tự