Type-Based Termination of Recursive Definitions (2002)

Cached

Download Links

by G. Barthe , M. J. Frade , E. Giménez , L. Pinto , T. Uustalu
Citations:40 - 3 self

Document Versions

Type-Based Termination of Recursive Definitions –G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu — 2002
Type-Based Termination of Recursive Definitions –G. Barthe, M. J. Frade, E. Giménez, L. Pinto, L. P I Nto, T. Uustalu — 2003