Report - TERMINATION CHECKING WITH TYPESabela/rairo04.pdf · TERMINATION CHECKING WITH TYPES∗ Andreas Abel1 Abstract. The paradigm of type-based termination is explored for functional programming

Please pass captcha verification before submit form