tal (hackage): "From System F to Typed-Assembly Language"
Keywords: language|library|mit