MétaCan
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.

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 7 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
Generic ownership for generic Java
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
2006· article· en· ACM SIGPLAN Notices· Computer Science
distilled prediction:candidate · noneconsensus · none
7
citations
affunlabeled
Smtlink 2.0
2018· article· en· Electronic Proceedings in Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
7
citations
venueno affunlabeled
The RacahWigner category
William P. Joyce, Philip H. Butler, H J Ross
2002· article· en· Canadian Journal of Physics· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affno abstractunlabeled
What is the world of mathematics?
J. Lambek
2003· article· en· Annals of Pure and Applied Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affno abstractunlabeled
Minimisation in Logical Form
Nick Bezhanishvili, Marcello Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden +1 more
2023· book-chapter· en· Outstanding contributions to logic· Computer Science
distilled prediction:candidate · metaepi_narrow+insufficient_payloadconsensus · none
6
citations
afffundunlabeled
Type-Based Call Graph Construction Algorithms for Scala
Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, Frank Tip
2015· article· en· ACM Transactions on Software Engineering and Methodology· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affunlabeled
Sound Automation of Magic Wands
Thibault Dardinier, G. Parthasarathy, Noé Weeks, Péter Müller, Alexander J. Summers
2022· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
6
citations
afffundunlabeled
SpEQ: Translation of Sparse Codes using Equivalences
Avery Laird, Bangtian Liu, Nikolaj Bjørner, Maryam Mehri Dehnavi
2024· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
fundno affunlabeled
Algebraic Notions of Termination
2011· article· en· Logical Methods in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affunlabeled
Formal Foundations for Translational Separation Logic Verifiers
Thibault Dardinier, Michael Sammler, G. Parthasarathy, Alexander J. Summers, Péter Müller
2025· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affunlabeled
Lexical Effect Handlers, Directly
Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang
2024· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affunlabeled
Type-Safe Code Transformations in Haskell
Louis-Julien Guillemette, Stefan Monnier
2007· article· en· Electronic Notes in Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affunlabeled
Approximation and small depth Frege proofs
Stephen J. Bellantoni, Toniann Pitassi, Alasdair Urquhart
2002· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
6
citations
affunlabeled
Explicit Substitutions for Contextual Type Theory
Andreas Abel, Brigitte Pientka
2010· article· en· Electronic Proceedings in Theoretical Computer Science· 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
fundno affunlabeled
V2 And Cp/Cp
Sten Vikner, Ken Ramshøj Christensen, Anne Mette Nyvad
2017· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
5
citations
affunlabeled
Logicism Renewed
Paul C. Gilmore
2017· book· en· Cambridge University Press eBooks· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
5
citations
fundno affunlabeled
There Is Only One Notion of Differentiation
J.R.B. Cockett, Jean-Simon Pacaud Lemay
2017· article· en· DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)· Computer Science
distilled prediction:candidate · noneconsensus · 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

How this was built: Screen · Findings · About