1. 4
    MixT: An embedded, domain-specific language for Mixed-Consistency Transactions c++ databases plt mpmilano.github.io
    bennn avatar via bennn 2 months ago | cached | no comments
  2. 4
    My Favorite Bug (WadlerFest 2016) pdf debugging plt practices ccs.neu.edu
    bennn avatar via bennn 6 months ago | cached | no comments