APA
Click to copy
Mu, S.-C., Ko, H.-S., & Jansson, P. (2008). Algebra of Programming Using Dependent Types. In P. Audebaud & C. Paulin-Mohring (Eds.), Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings (Vol. 5133, pp. 268–283). Springer. https://doi.org/10.1007/978-3-540-70594-9_15
Chicago/Turabian
Click to copy
Mu, Shin-Cheng, Hsiang-Shang Ko, and Patrik Jansson. “Algebra of Programming Using Dependent Types.” In Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, edited by Philippe Audebaud and Christine Paulin-Mohring, 5133:268–283. Lecture Notes in Computer Science. Springer, 2008.
MLA
Click to copy
Mu, Shin-Cheng, et al. “Algebra of Programming Using Dependent Types.” Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, edited by Philippe Audebaud and Christine Paulin-Mohring, vol. 5133, Springer, 2008, pp. 268–83, doi:10.1007/978-3-540-70594-9_15.
BibTeX
Click to copy
@inproceedings{mu2008a,
title = {Algebra of Programming Using Dependent Types},
year = {2008},
pages = {268--283},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5133},
doi = {10.1007/978-3-540-70594-9_15},
author = {Mu, Shin-Cheng and Ko, Hsiang-Shang and Jansson, Patrik},
editor = {Audebaud, Philippe and Paulin-Mohring, Christine},
booktitle = {Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings}
}