1. 5
    HoTTSQL: Proving query rewrites with univalent SQL semantics databases formalmethods blog.acolyer.org
    sanxiyn avatar via sanxiyn 10 months ago | cached | 1 comment

  1.  

  2. 1
    shanemhansen avatar shanemhansen 10 months ago | link

    This is so cool. I’d love to apply it to my team’s golang based map reduce engine.