Patrik Jansson

Professor of Computer Science

Curriculum vitae

+46317725415

Computer Science and Engineering

Chalmers University of Technology

Room number: EDIT-6452
My office is in the EDIT building of campus Johanneberg, near Rännvägen 6.

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming

Conference paper

Cezar Ionescu, Patrik Jansson
EPTCS, Johan Jeuring, Jay McCarthy, 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, 2016, pp. 1--15

DOI: 10.4204/EPTCS.230.1

Cite

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.

BibTeX Click to copy

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