Filters








2 Hits in 1.6 sec

Rendering Mathematics for the Web using Madoko

Daan Leijen
2016 Proceedings of the 2016 ACM Symposium on Document Engineering - DocEng '16  
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

Daan Leijen
2014 Electronic Proceedings in Theoretical Computer Science  
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