katydid/paper-2026-verified-filter-go: archive for paper
Abstract
Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Golang)
Fields of Study & Subjects
Advanced Database Systems and Queries
Semantic Web and Ontologies
Logic
programming
and type systems
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 6 February 2026