Frédéric Loulergue, Virginia Niculescu, Simon Robillard. Powerlists in Coq: Programming and Reasoning. In Juan E. Guerrero, editor, The First International Symposium on Computing and Networking - Across Practical Development and Theoretical Research, Dogo SPA Resort, Matsuyama, Japan, December 4-6, 2013. pages 57-65, IEEE Computer Society, 2013. [doi]
Abstract is missing.