Skip to content

group papers by subareas #2

@k4rtik

Description

@k4rtik

"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)

Metadata

Metadata

Assignees

No one assigned

    Labels

    help wantedExtra attention is needed

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions