Practical Inference for Typed-Based Termination in a Polymorphic Setting

Cached

Download Links

by Gilles Barthe , Benjamin Gregoire , Fernando Pastawski
Citations:3 - 0 self