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 13 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
Implementing the π-Calculus in Java.
Liwu Li
2005· article· en· The Journal of Object Technology· Computer Science
distilled prediction:candidate · noneconsensus · none
1
citations
affno abstractunlabeled
Type Specialization in Aldor
Laurentiu Dragan, Stephen M. Watt
2010· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
1
citations
afffundunlabeled
Abstracting gradual typing moving forward: precise and space-efficient
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
2021· preprint· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+open_scienceconsensus · none
1
citations
affunlabeled
Extensible Data Types with Ad-Hoc Polymorphism (Artifact)
2025· other· en· Zenodo (CERN European Organization for Nuclear Research)· Computer Science
distilled prediction:candidate · scholarly_communication+insufficient_payloadconsensus · insufficient_payload
1
citations
affno abstractunlabeled
Polymorphic Calls
Karel Driesen
2001· book-chapter· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
1
citations
affunlabeled
Typed Template Coq -- Certified Meta-Programming in Coq
Abhishek Anand, Simon Boulier, Nicolas Tabareau, Matthieu Sozeau
2018· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
1
citations
afffundunlabeled
A path to DOT: formalizing fully path-dependent types
Marianna Rapoport, Ondřej Lhoták
2019· preprint· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · metaepi_narrow+open_scienceconsensus · open_science
1
citations
afffundunlabeled
McTT: A Verified Kernel for a Proof Assistant
Junyoung Jang, Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka
2025· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
1
citations
affunlabeled
Fifteen Years of Viper
Marco Eilers, Malte Schwerhoff, Alexander J. Summers, Péter Müller
2025· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
1
citations
affunlabeled
Typeful Normalization by Evaluation
Olivier Danvy, Chantal Keller, Matthias Puech
2015· article· en· DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)· Computer Science
distilled prediction:candidate · noneconsensus · none
1
citations
affno abstractunlabeled
Local Reasons and Dialogues for Immanent Reasoning
Shahid Rahman, Zoé McConaughey, Ansten Klev, Nicolás Clerbout
2018· book-chapter· en· Logic, argumentation & reasoning· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
1
citations
affunlabeled
Handling the Selection Monad
Gordon Plotkin, Ningning Xie
2025· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
1
citations
afffundno abstractunlabeled
An architecture for generic extensions
Cosmin E. Oancea, Stephen M. Watt
2009· article· en· Science of Computer Programming· Computer Science
distilled prediction:candidate · noneconsensus · none
1
citations
fundno affunlabeled
Pure Methods for roDOT
Aleksander Boruch-Gruszecki, Ondřej Lhoták
2022· preprint· en· arXiv (Cornell University)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
1
citations
affno abstractunlabeled
Perl
Professor Reda Alhajj, Professor Jon Rokne
2014· book-chapter· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
LAM: another Prolog abstract machine
X. Li, Yiyu Yao
2002· article· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
A Model for Reasoning about JavaScript Promises
Magnus Madsen, Ondřej Lhoták, Frank Tip
2017· article· en· Conference on Object-Oriented Programming Systems, Languages, and Applications· Computer Science
distilled prediction:candidate · metaepi_narrow+sts+scholarly_communicationconsensus · none
0
citations
affunlabeled
CHIP in plain logic
Michael Lévy, M. H. van Emden
2002· article· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
Variables and Objects; Pointers and Addresses
František Franěk
2003· book-chapter· en· Cambridge University Press eBooks· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
fundaboutno affunlabeled
Development of a low level autonomous machine
Jason Carl Griffith
2008· article· en· University Library - University of Saskatchewan (University of Saskatchewan)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
afffundunlabeled
Open Closures: Disclosing lambda's inner monomaniac object!
Stefan Monnier
2022· paratext· en· Zenodo (CERN European Organization for Nuclear Research)· Computer Science
distilled prediction:candidate · metaepi_narrow+sts+scholarly_communication+open_science+insufficient_payloadconsensus · open_science+insufficient_payload
0
citations
← previousnext →

How this was built: Screen · Findings · About