A program optimization for automatic database result caching

Open Webpage

Ziv Scully, Adam Chlipala

Published: 2017, Last Modified: 01 Apr 2026POPL 2017EveryoneRevisionsBibTeXCC BY-SA 4.0