Report copyright - Unifying Typing and Subtypingbruno/papers/oopsla17.pdf · Agda [Norell2007] and Idris [Brady2013], are now dependently typed. A key reason why dependent types are interesting is that
Please pass captcha verification before submit form