Using STM for Modular Concurrency: An Industrial Experience Report (2020) [video]youtube.com·1 pts·vg_head·0
Beatrice: A tagless, dependently typed, self-aware programming languagehirrolot.github.io·22 pts·vg_head·2
Drawing an elliptical arc using polylines, quadratic or cubic Béziers (2003) [pdf]tech.brookes.ac.uk·1 pts·vg_head·0
Hierarchical Rasterization of Curved Primitives for Vector Graphics on the GPU [pdf]arbook.icg.tugraz.at·3 pts·vg_head·1
A Functional Description of TEX's Formula Layout (1997) [pdf]people.eecs.berkeley.edu·1 pts·vg_head·0