A monadic solution to the Cartwright-Felleisen-Wadler conjecture
Extensible Pattern Matching in an Extensible Language
Trends and patterns of scintillator nonproportionality Integral formulas of ASEP and $q$-TAZRP on a ring Quantum Information in Space and Time Interpretation of Emergent Communication in Heterogeneous Collaborative
  Embodied Agents On stably finiteness for $C^*$-algebras of exponential solvable Lie
  groups Luminescence quenching of the triplet excimer state by air traces in
  gaseous argon Proposed method for laser spectroscopy of pionic helium atoms to
  determine the charged-pion mass Local well-posedness in Sobolev spaces for first-order barotropic causal
  relativistic viscous hydrodynamics Cooperativity in the annealing of DNA origamis Unsupervised Clustering of Roman Potsherds via Variational Autoencoders Translation of Algorithmic Descriptions of Discrete Functions to SAT
  with Applications to Cryptanalysis Problems Complexity of short Presburger arithmetic Optimal strategies for a game on amenable semigroups Local Privacy and Minimax Bounds: Sharp Rates for Probability Estimation Conflict Free Rule for Combining Evidences Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications
  Using HyperMapper Optimal switching strategies for stochastic geocentric/egocentric
  navigation Hot quark matter and (proto-) neutron stars
cs.PL