Stop When You Are Almost-Full - Adventures in Constructive Termination
['Dimitrios Vytiniotis', 'Thierry Coquand', 'David Wahlstedt']
Stop When You Are Almost-Full - Adventures in Constructive Termination