A Clear Picture of Lens Laws - Functional Pearl.
https://doi.org/10.1007/978-3-319-19797-5_10
@inproceedings{DBLP:conf/mpc/FischerHP15,
author = {Sebastian Fischer and
Zhenjiang Hu and
Hugo Pacheco},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {A Clear Picture of Lens Laws - Functional Pearl},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {215--223},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_10},
doi = {10.1007/978-3-319-19797-5\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FischerHP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签