Categories: research



Related articles:

  • 2017-09-06 ICFP most influential paper from 10 years ago
  • 2017-03-16 tjr-btree: a CoW B-tree library in OCaml
  • 2015-04-27 Why operational models?
  • 2014-11-26 Isabelle on 64bit ubuntu with 32bit libraries