"group things by subareas: Languages, Verification, Semantics, Models, etc. (Surveys doesn't really fit with the above but would also be a nice filter.)" using categories and tags.
Also categorize these better: https://quantumpl.github.io/bib/publication/#0 (such as into software and talks, etc)
"group things by subareas: Languages, Verification, Semantics, Models, etc. (Surveys doesn't really fit with the above but would also be a nice filter.)" using categories and tags.
Also categorize these better: https://quantumpl.github.io/bib/publication/#0 (such as into software and talks, etc)