Polymorphic Type Reconstruction Using Type Equations

Publication
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers
Venkatesh Choppella
Venkatesh Choppella
Associate Professor

My research interests include Programming languages, S/W architectures, Formal Methods, CS education