Mihnea Iancu. The Scala-REPL + MMT as a lightweight mathematical user interface. In Christoph Lange 0002, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger, editors, Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. Volume 1010 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
@inproceedings{Iancu13,
title = {The Scala-REPL + MMT as a lightweight mathematical user interface},
author = {Mihnea Iancu},
year = {2013},
url = {http://ceur-ws.org/Vol-1010/paper-15.pdf},
researchr = {https://researchr.org/publication/Iancu13},
cites = {0},
citedby = {0},
booktitle = {Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK},
editor = {Christoph Lange 0002 and David Aspinall and Jacques Carette and James H. Davenport and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Pedro Quaresma and Florian Rabe and Petr Sojka and Iain Whiteside and Wolfgang Windsteiger},
volume = {1010},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}