A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Rendering Mathematics for the Web using Madoko
2016
Proceedings of the 2016 ACM Symposium on Document Engineering - DocEng '16
Preserved Fulltext
SCALABLE MATH ON THE WEB Madoko uses regular L A T E X for describing math formulas since T E X is still the gold standard for rendering and describing mathematics. ...
This works well for simple mathematics but one of the great advantages of using L A T E X for math is that it comes with many many packages to render advanced mathematics, or packages that render math ...
The author would like to thank Martin Gieseking for his help in making dvisvgm work well with Madoko. ...
doi:10.1145/2960811.2967168
dblp:conf/doceng/Leijen16
fatcat:ke6uigvj7fejfls4wicpqymjp4
Koka: Programming with Row Polymorphic Effect Types
2014
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Other Versions
For example, if an expression can be typed without an exn effect, then it will never throw an unhandled exception. ...
A novel feature is that we support polymorphic effects through row-polymorphism using duplicate labels. ...
We use the effect dom for functions that may have any side effect through a DOM call. On the web, many programs are split in a server and client part communicating with each other. ...
doi:10.4204/eptcs.153.8
fatcat:zc75m4bry5gkhovd6uv2j2fz6u