Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Dependent Types for Low-Level Programming