Termination Checking with Types (1999)

by Andreas Abel
Citations:28 - 6 self