151 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Anna Needs Neuroblastoma AnswersUS4 papers
- American Australian AssociationUS1 paper
- Argonne National LaboratoryUS1 paper
- Asia e UniversityMY1 paper
- B2 (Slovenia)SI1 paper
- B & BSI1 paper
- Boston UniversityUS1 paper
- British Society for Cell BiologyGB1 paper
- Brookhaven National LaboratoryUS1 paper
- Center for Collaborative EducationUS1 paper
- Charles UniversityCZ1 paper
- Cornell UniversityUS1 paper
4 papers
An improved direct limit on the muon electric dipole moment
2 Collaboration, D. P. Aguillard, T. Albahri +192
A limit on the permanent electric dipole moment (EDM) of the positive muon is presented based on data from the Fermilab Muon g-2 Experiment taken between 2019 and 2020. The trackin…
Technical Dimensions of Programming Systems
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a…
The Lean mathematical library
The mathlib Community
This paper describes mathlib, a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. Among proof assistant libraries, it is dis…
How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard
Johannes Emerich
Functional languages with strong static type systems have beneficial properties to help ensure program correctness and reliability. Surprisingly, their practical significance in ap…