MétaCan
ENFR
Menu
Cohort builder

4,299,418 works, Canadian by any of four routes.

Every filter state is a URL; the URL is the query; the query is citable via /q/⟨hash⟩. The page, the API and the export parse the same parameters.

Export CSVExport JSONAPI query

The current cohort, streamed from the database: every work column, the machine labels, the provisional scores, and the per-row validation status. Exports are capped at 100,000 rows. Mints a permanent /q/ link for this exact query. The same filters always produce the same link, whoever asks.

Search term
Author
Year range
→
Sort
Language
Type
Field
Venue
Topic
Logic, programming, and type systems
Retraction
Abstract
Evidence source
Study design
Label agreement
Label status

Direct Codex and Gemma labels are unvalidated and sparse. Distilled predictions cover the full frame and are also unvalidated. Choose the evidence source explicitly; absence of a direct label is never a negative label.

affaffiliation
fundfunder
venuejournal
aboutaboutness

The four routes compose: require the funder route and exclude affiliation to get the funder-only stratum no affiliation-based frame ever sees.

928 results · 1 filter active ·
Results by year
20002025
Publication date
Categories
Machine labels · sparse coverage
Evidence
Language
Type
Citations
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
928 works in the cohort · of 4,299,418page 16 of 19

Labels cover 1 of 928 works in this cohort. The rest are unlabeled, which is not a negative label: the label table is sparse today and grows as labeling rounds land.

Distilled predictions cover 928 of 928 works in this cohort. Predictions are machine_predicted_unvalidated teacher distillation outputs. Candidate is the union; consensus is the intersection.

affno abstractunlabeled
Statements and Exceptions
Michel de Champlain, Brian G. Patrick
2003· book-chapter· en· Elsevier eBooks· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
aboutno affunlabeled
Preface
Stephen Brookes, Michael Mislove
2001· article· en· Electronic Notes in Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Universality of Categories of Coalgebras
Vácłav Koubek, J. Sichler, Věra Trnková
2010· article· en· Applied Categorical Structures· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Blame for Null (Artifact)
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondřej Lhoták
2020· article· en· DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affunlabeled
Multi-stage Programming with Splice Variables
Tsung-Ju Chiang, Ningning Xie
2025· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Elaborations in Type Theory
Matthieu Sozeau
2010· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affunlabeled
Innermost sufficient completeness
Isabelle Gnaedig, Claude Kirchner
2003· article· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Assignment Calculus: A Pure Imperative Language
Marc Bender, J. I. Zucker
2013· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affno abstractunlabeled
Automatic Inference of Relational Object Invariants
Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras
2025· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affunlabeled
Eliminating Dependent Pattern-Matching in Coq
Cyprien Mangin
2015· preprint· en· INRIA a CCSD electronic archive server· Computer Science
distilled prediction:candidate · metaepi_narrow+research_integrityconsensus · none
0
citations
affunlabeled
Type-Preserving Flat Closure Optimization
Adam T. Geller, Sean Bocirnea, Chester J. F. Gould, Paulette Koronkevich, William J. Bowman
2025· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
XJit: a framework for self-optimizing libraries
Hamza Karamali
2004· dissertation· TSpace· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+research_integrityconsensus · none
0
citations
affno abstractunlabeled
Power-like maps in n-abelian semigroups
R. Padmanabhan, Yang Zhang
2025· article· en· Semigroup Forum· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Polymorphic lambda calculus and subtyping
Adrian Fiech, David A. Schmidt
2002· article· en· Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Extracting Theory Graphs from Aldor Libraries
Florian Rabe, Stephen M. Watt
2023· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affunlabeled
Contextual Refinement Types
2023· preprint· en· arXiv (Cornell University)· Computer Science
distilled prediction:candidate · metaepi_narrow+insufficient_payloadconsensus · none
0
citations
affunlabeled
Algebraic Processors
2007· dissertation· en· MacSphere (McMaster University)· Computer Science
distilled prediction:candidate · metaepi_narrow+insufficient_payloadconsensus · none
0
citations
affunlabeled
Tiered complexity at higher order
Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux
2019· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · metaepi_narrow+insufficient_payloadconsensus · none
0
citations
affunlabeled
Inductive Proof Search Modulo
Fabrice Nahon, Claude Kirchner
2007· article· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Semantics for a Lambda Calculus for String Diagrams
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
2020· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
aboutno affunlabeled
Iso 17782 pdf
2024· other· en· Zenodo (CERN European Organization for Nuclear Research)· Computer Science
distilled prediction:candidate · scholarly_communication+insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
Eilene Tomkins-Flanagan, Matthew A. Kelly
2025· preprint· ArXiv.org· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+open_science+research_integrity+insufficient_payloadconsensus · metaepi_narrow+research_integrity
0
citations
affunlabeled
SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES
Sheng Yü, Qing Zhao
2007· article· en· International Journal of Foundations of Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
fundno affunlabeled
Generic Matrix Manipulator System
Dylan Killingbeck
2016· dissertation· en· Brock University Digital Repository (Brock University)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affunlabeled
Way-below relation and tensor products
Cristian Ivanescu, Hunter Labrecque
2025· article· Journal of Physics Conference Series· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
aboutno affunlabeled
Preface
Simon Ambler, Roy L. Crole, Alberto Momigliano
2001· article· en· Electronic Notes in Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
← previousnext →

How this was built: Screen · Findings · About