Arc Forumnew | comments | leaders | submitlogin
Matrix code: Hard-core imperative programming by extending finite state machines [scribd] (arxiv.org)
2 points by akkartik 697 days ago | discuss