48 citations · 129 across the 13 of their papers we have counts for
3 papers · 1 filter
Hidden charm pentaquarks: mass spectrum, magnetic moments, and photocouplings
Emmanuel Ortiz-Pacheco, Roelof Bijker, César Fernández-Ramírez
We develop an extension of the usual three flavor quark model to four flavors (u, d, s and c), and discuss the classification of pentaquark states with hidden charm. We fit our mod…
Constructive Galois Connections
David Darais, David Van Horn
Galois connections are a foundational tool for structuring abstraction in semantics and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of…
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
Niki Vazou, Joachim Breitner, Will Kunkel +2
Equational reasoning is one of the key features of pure functional languages such as Haskell. To date, however, such reasoning always took place externally to Haskell, either manua…