A formal kernel memory-ordering model
https://lwn.net/Articles/718628/

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
https://dl.acm.org/doi/pdf/10.1145/3674634

Major Version Numbers are Not Sacred
https://tom.preston-werner.com/2022/05/23/major-version-numbers-are-not-sacred

Make Your Program Slower With Threads
https://brooker.co.za/blog/2014/12/06/random.html

brooker.co.za

Make Your Program Slower With Threads - Marc's Blog

Superlinear Speedup by Program Transformation
http://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf

COMEFROM
https://en.wikipedia.org/wiki/COMEFROM

Wikipedia

COMEFROM

Programming language control flow structure

Category Theory: a concise course
https://categorytheory.gitlab.io/

Recursive types for free!
Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt

Boehm-Berarducci Encoding
https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html

okmij.org

Boehm-Berarducci Encoding

Explaining the Boehm-Berarducci isomorphism between strictly-positive algebraic data types and a class of polymorphic System F terms, and illustrating it on a simple example