Daniel J. Harvey
Posts
#typechecker
llvm-calc is dead, long live wasm-calc
Compiling a functional language to LLVM, part 3
Compiling a functional language to LLVM, part 2
Compiling a functional language to LLVM, part 1
Hindley Milner typechecking by example