Termination Checking with Types (1999)

by Andreas Abel
Citations:36 - 6 self