Termination of SystemF-bounded: A Complete Proof
Information and Computation - United States
doi 10.1006/inco.1997.2662
Full Text
Open PDFAbstract
Available in full text
Categories
Date
November 1, 1997
Authors
Publisher
Elsevier BV
Available in full text
November 1, 1997
Elsevier BV