30644

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types

David Allen McAllester استاد راهنما

Dspace MIT Library

نامعلوم

Thesis )M.S.(

0

1996

Electrical Engineering and Computer Science

01

انگليسي