Summary: 



Theoretical Informatics and Applications Will be set by the publisher
Informatique Th'eorique et Applications



TERMINATION CHECKING WITH TYPES *



Andreas Abel1



Abstract. The paradigm of type-based termination is explored for
functional programming with recursive data types. The article intro-
duces +~, a lambda-calculus with recursion, inductive types, subtyping

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

Collections: Computer Technologies and Information Sciences