Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

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