EasyChair Smart Slide
Type-Based Termination for Futures
Type-Based Termination for Futures