APA   Click to copy
Ionescu, C., & Jansson, P. (2016). Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. In J. Jeuring & J. McCarthy (Eds.), Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016 (Vol. 230, pp. 1–15). https://doi.org/10.4204/EPTCS.230.1

Chicago/Turabian   Click to copy
Ionescu, Cezar, and Patrik Jansson. “Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming.” In Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016, edited by Johan Jeuring and Jay McCarthy, 230:1–15. EPTCS, 2016.

MLA   Click to copy
Ionescu, Cezar, and Patrik Jansson. “Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming.” Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016, edited by Johan Jeuring and Jay McCarthy, vol. 230, 2016, pp. 1–15, doi:10.4204/EPTCS.230.1.

@inproceedings{ionescu2016a,
  title = {Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming},
  year = {2016},
  pages = {1--15},
  series = {EPTCS},
  volume = {230},
  doi = {10.4204/EPTCS.230.1},
  author = {Ionescu, Cezar and Jansson, Patrik},
  editor = {Jeuring, Johan and McCarthy, Jay},
  booktitle = {Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016}
}