**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}
}
```