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 8 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.

affunlabeled
Logicism Renewed
Paul C. Gilmore
2017· book· en· Cambridge University Press eBooks· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
5
citations
affunlabeled
Confined gradual typing
Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
2014· article· en· ACM SIGPLAN Notices· Computer Science
distilled prediction:candidate · noneconsensus · none
5
citations
affno abstractunlabeled
Aspects of Categorical Recursion Theory
Pieter Hofstra, Philip Scott
2021· book-chapter· en· Outstanding contributions to logic· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
5
citations
affunlabeled
Unitary Theories, Unitary Categories
Pieter Hofstra, Robin Cockett
2010· article· en· Electronic Notes in Theoretical Computer Science· Computer Science
distilled prediction:candidate · stsconsensus · none
5
citations
affno abstractunlabeled
The Concurrent Calculi Formalisation Benchmark
Marco Carbone, David Castro, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano +6 more
2024· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
5
citations
affunlabeled
Layered Modal Type Theory
Jason Z. S. Hu, Brigitte Pientka
2024· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
5
citations
affunlabeled
Staged Compilation with Module Functors
Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie
2024· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
5
citations
affunlabeled
A demand-driven adaptive type analysis
Danny Dubé, Marc Feeley
2002· article· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
5
citations
affunlabeled
Coding guidelines for Prolog
Michael A. Covington, Roberto Bagnara, Richard O’Keefe, Jan Wielemaker, Simon Price
2011· article· en· Theory and Practice of Logic Programming· Computer Science
distilled prediction:candidate · noneconsensus · none
5
citations
affunlabeled
First degree formulas in quantified S5
Alasdair Urquhart
2015· article· en· The Australasian Journal of Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
5
citations
affaboutunlabeled
One Vote for Type Families in Haskell
Louis-Julien Guillemette, Stefan Monnier
2008· article· en· Trends in Functional Programming· Computer Science
distilled prediction:candidate · noneconsensus · none
5
citations
affunlabeled
Mutable WadlerFest DOT
Marianna Rapoport, Ondřej Lhoták
2017· article· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
4
citations
affno abstractunlabeled
A Propositional Proof System for Log Space
Steven Perron
2005· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
4
citations
affunlabeled
Mining Maple Code for Contracts
Jacques Carette, Stephen Forrest
2006· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
fundno affunlabeled
Aspect impact analysis
Dehua Zhang
2009· article· en· eScholarship@McGill (McGill)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
4
citations
affunlabeled
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
2021· article· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
affunlabeled
The <i>n</i> th derivative
Mhenni M. Benghorbal, Robert M. Corless
2002· article· en· ACM SIGSAM Bulletin· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
4
citations
affunlabeled
Sequent Calculus Viewed Modulo
Eric Deplagne
2000· article· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
4
citations
affno abstractunlabeled
Tirone on Tirone David operation and types
Tirone E. David
2017· review· en· General Thoracic and Cardiovascular Surgery· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
4
citations
affunlabeled
Proof Support for Common Logic
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger
2018· article· en· EPiC series in computing· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
affunlabeled
Semantical Analysis of Contextual Types
Brigitte Pientka, Ulrich Schöpp
2020· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
4
citations
afffundunlabeled
Proof in the time of machines
Andrew Granville
2024· article· en· Bulletin of the American Mathematical Society· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
affunlabeled
Evidence normalization in System FC
Dimitrios Vytiniotis, Simon Peyton Jones
2013· article· en· Rewriting Techniques and Applications· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
aboutno affunlabeled
Preface
Andrea Corradini, Marina Lenisa, Ugo Montanari
2001· article· en· Electronic Notes in Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
← previousnext →

How this was built: Screen · Findings · About