A Dependently Typed Assembly Language (via linkdd) — discussion

#assembly #pdf #plt #programming