Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

A Dependently Typed Assembly Language [pdf] (2001)

cs.cmu.edu

1 points by todsacerdoti 6 hours ago