Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy