15 citations
- University of CambridgeGB7 papers
- Institute of AstronomyRU5 papers
- Ludwig-Maximilians-Universität MünchenDE5 papers
- Max Planck Institute for Extraterrestrial PhysicsDE5 papers
- Bielefeld UniversityDE3 papers
- Stanford UniversityUS3 papers
- University of ChicagoUS3 papers
- Argonne National LaboratoryUS2 papers
- Barcelona Institute of Science and TechnologyES2 papers
- California Institute of TechnologyUS2 papers
- California University of PennsylvaniaUS2 papers
- Center for Astrophysics Harvard & SmithsonianUS2 papers
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 1 cited
An Empirical Study of Partial Deduction for miniKanren
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language…
hep-th2021★ 15 cited
Orthosymplectic Implosions
Antoine Bourget, Andrew Dancer, Julius F. Grimminger +3
We propose quivers for Coulomb branch constructions of universal implosions for orthogonal and symplectic groups, extending the work on special unitary groups in arXiv:2004.09620.…