%0 Journal Article %1 journals/pacmpl/SozeauM19 %A Sozeau, Matthieu %A Mangin, Cyprien %D 2019 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 86:1-86:29 %T Equations reloaded: high-level dependently-typed functional programming and proving in Coq. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#SozeauM19 %V 3

@article{journals/pacmpl/SozeauM19, added-at = {2021-02-17T00:00:00.000+0100}, author = {Sozeau, Matthieu and Mangin, Cyprien}, biburl = {https://www.bibsonomy.org/bibtex/23655aaa9a56187064cb0d9211b9739d4/dblp}, ee = {https://doi.org/10.1145/3341690}, interhash = {3bd9539684223c5d27c93d6d4be2f4d3}, intrahash = {3655aaa9a56187064cb0d9211b9739d4}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {86:1-86:29}, timestamp = {2024-04-08T09:54:29.000+0200}, title = {Equations reloaded: high-level dependently-typed functional programming and proving in Coq.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#SozeauM19}, volume = 3, year = 2019 }