Practical inference for type-based termination in a polymorphic setting (0)

by Gilles Barthe, Benjamin Grégoire, Fernando Pastawski
Venue:In Urzyczyn [58