Automation for Dependently Typed Functional Programming

Sean Wilson, Jacques D. Fleuriot, Alan Smaill. Automation for Dependently Typed Functional Programming. Fundamenta Informaticae, 102(2):209-228, 2010. [doi]

Abstract

Abstract is missing.