Free theorems for functional logic programs

Jan Christiansen, Daniel Seidel, Janis Voigtländer. Free theorems for functional logic programs. In Cormac Flanagan, Jean-Christophe Filliâtre, editors, Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. pages 39-48, ACM, 2010. [doi]

No reviews for this publication, yet.