Asynchronous Liquid Separation Types

Kloos, Johannes and Majumdar, Rupak and Vafeiadis, Viktor
(2015) Asynchronous Liquid Separation Types.
In: Proceedings of the 29th European Conference on Object-Oriented Programming (ECOOP'16).
Conference: ECOOP - European Conference on Object-Oriented Programming

[img] Text
LIPIcs.ECOOP.2015.396 - Published Version

Download (9kB)

Actions

Actions (login required)

View Item View Item