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