Report copyright - Idris 2: Quantitative Type Theory in Action · 2020-03-04 · concurrent programming with session types. 1 INTRODUCTION Dependently typed programming languages, such as Idris [Brady2013],
Please pass captcha verification before submit form