Extensible type checker for parser generation
Denotational Semantics of A User-Oriented, Domain-Specific Language
When Creators Meet the Metaverse: A Survey on Computational Arts On a family of polynomials related to $\zeta(2,1)=\zeta(3)$ Beyond mean-field dynamics of ultra-cold bosonic atoms in higher
  dimensions: facing the challenges with a multi-configurational approach The Importance of Telescope Training in Data Interpretation Chaos enhancement in large-spin chains Experimental verification of Arcsine laws in mesoscopic non-equilibrium
  and active systems A note on averaging prediction accuracy, Green's functions and other
  kernels Phase retrieval for wide-band signals Analytical Approximation of the Second-Harmonic Conversion Efficiency Approximation properties for noncommutative $L^p$-spaces of high rank
  lattices and nonembeddability of expanders Clebsch (String) Parameterization of 3-Vectors and Their Actions Unconventional research in USSR and Russia: short overview Facilitating Non-HEP Career Transition Data-driven learning of non-autonomous systems Deep Microlocal Reconstruction for Limited-Angle Tomography A Lyapunov Approach to Robust Regulation of Distributed Port-Hamiltonian
  Systems Uniform Embeddability into Hilbert Space On Approximate Nonlinear Gaussian Message Passing On Factor Graphs Exact nonstationary solutions to the mean-field equations of motion for
  two-component Bose-Einstein condensates in periodic potentials Iterated Chvatal-Gomory Cuts and the Geometry of Numbers
cs.PL cs.SE