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.

@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}
}