8-9 June, 2015. School of Computing Science, University of Glasgow. Practical Programming with Session Types. Theoretical work on session types and other ...
確定! 回上一頁