A Dependently Typed Assembly Language [pdf]cs.cmu.edu1 point·salgernon··0 commentsOpen articleSaveView on HN