Gentle introduction to LLVM IR: https://mcyoung.xyz/2023/08/01/llvm-ir/
LLVM tutorial: https://llvm.org/docs/tutorial/
"Types and Programming Languages" by Ben Pierce
Type Inference and the Hindley-Milner Type System (presentation): https://ocw.mit.edu/courses/6-820-fundamentals-of-program-analysis-fall-2015/3805b29885701911f983fc8299f9d9ac_MIT6_820F15_L07.pdf
Row polymorphism: https://www.cl.cam.ac.uk/teaching/1415/L28/rows.pdf
