APA   Click to copy
Ionescu, C., & Jansson, P. (2012). Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. In R. Hinze (Ed.), Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers (Vol. 8241, pp. 140–156). Springer. https://doi.org/10.1007/978-3-642-41582-1_9

Chicago/Turabian   Click to copy
Ionescu, Cezar, and Patrik Jansson. “Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling.” In Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers, edited by Ralf Hinze, 8241:140–156. Lecture Notes in Computer Science. Springer, 2012.

MLA   Click to copy
Ionescu, Cezar, and Patrik Jansson. “Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling.” Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers, edited by Ralf Hinze, vol. 8241, Springer, 2012, pp. 140–56, doi:10.1007/978-3-642-41582-1_9.

@inproceedings{ionescu2012a,
  title = {Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling},
  year = {2012},
  pages = {140--156},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8241},
  doi = {10.1007/978-3-642-41582-1_9},
  author = {Ionescu, Cezar and Jansson, Patrik},
  editor = {Hinze, Ralf},
  booktitle = {Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers}
}