Using camlp4 for presenting dynamic mathematics on the web
Chyzak, Frédéric, Darrasse, AlexisVolume:
46
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2034574.2034809
Date:
September, 2011
File:
PDF, 741 KB
english, 2011