Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner. From Contracts Towards Dependent Types: Proofs by Partial Evaluation. In Olaf Chitil, Zoltán Horváth, Viktória Zsók, editors, Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Volume 5083 of Lecture Notes in Computer Science, pages 254-273, Springer, 2007. [doi]
Abstract is missing.