Type-Based Termination for Futures.

Siva Somayyajula, Frank Pfenning

Browse the full FSCD paper archive.