Typed Image-based Programming with Structure Editing
Direct Interpretation of Functional Programs for Debugging
Two faced Janus of quantum nonlocality Limits for Rumor Spreading in stochastic populations Knot probabilities in equilateral random polygons Uniform Asymptotics for Polynomials Orthogonal With Respect to a General
  Class of Discrete Weights and Universality Results for Associated Ensembles:
  Announcement of Results Dyson-Schwinger approach to strongly coupled theories Partition C*-algebras II - Links to Compact Matrix Quantum Groups Evaluation Methods and Measures for Causal Learning Algorithms Semiclassical analysis of a nonlocal boundary value problem related to
  magnitude Solving the Uncapacitated Single Allocation p-Hub Median Problem on GPU Travelling-wave single-photon detectors integrated with diamond photonic
  circuits - operation at visible and telecom wavelengths with a timing jitter
  down to 23 ps A Dramatically Growing Shear Rigidity Length Scale in a Supercooled
  Glass Former ($NiZr_2$) PATSQL: Efficient Synthesis of SQL Queries from Example Tables with
  Quick Inference of Projected Columns The unramified inverse Galois problem and cohomology rings of totally
  imaginary number fields Hyperbolic subalgebras of hyperbolic Kac-Moody algebras Generalised fractional diffusion equations for subdiffusion on
  arbitrarily growing domains Phase Behavior of a Family of Truncated Hard Cubes Cupolets in a Chaotic Neuron Model Characteristic Numbers and Generalized Path Integrals Distinguishing open symplectic mapping tori via their wrapped Fukaya
  categories Lensing By Sgr A* as a Probe of Modified Gravity Skew left braces of nilpotent type
cs.PL cs.SE