Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand. Implementing Polymorphism in Zenon. In Boris Konev, Stephan Schulz 0001, Laurent Simon, editors, IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. Volume 40 of EPiC Series in Computing, pages 15-20, EasyChair, 2015. [doi]
Abstract is missing.