Publications

Proving termination of GHC programs

• • M.R.K. Krishna Rao
  • D. Kapur
  • et al.
• 1997
• New Generation Computing