Subtyping on Nested Polymorphic Session Types
Transformations of Logic Programs on Infinite Lists
On $qp$-Deformations in Statistical Mechanics of Bosons in D Dimensions Singularities in nearly-uniform 1D condensates due to quantum diffusion Proceedings of the First Workshop on Agents and Robots for reliable
  Engineered Autonomy Fundamental Stealthiness-Distortion Tradeoffs in Dynamical Systems under
  Injection Attacks: A Power Spectral Analysis scadnano: A browser-based, scriptable tool for designing DNA
  nanostructures Apollonian structure in the Abelian sandpile Impact of signal-to-noise ratio and bandwidth on graph Laplacian
  spectrum from high-dimensional noisy point cloud Utilizing Shannon's Entropy to Create Privacy Aware Architectures Closure properties of predicates recognized by deterministic and
  non-deterministic asynchronous automata Deep-Tissue Anatomical Imaging of Mice Using Carbon Nanotube
  Fluorophores in the Second Near Infrared Window Diagonal Representation of Algebraic Power Series: A Glimpse Behind the
  Scenes Elasticity in the skyrmion phase unveils depinning at ultra-low current
  densities Accelerating Deep Neuroevolution on Distributed FPGAs for Reinforcement
  Learning Problems Common group dynamic drives modern epidemics across social, financial
  and biological domains Cohomology groups for spaces of 12-fold tilings On the excitation of inertial modes in an experimental spherical Couette
  flow Black holes and fundamental physics Variational integrators for interconnected Lagrange-Dirac systems The Combinatorics of \textit{Salva Veritate} Principles A Graphical Calculus for Lagrangian Relations A characterization of entanglement-assisted quantum low-density
  parity-check codes Particle Physics in Ice with IceCube DeepCore Remarks on the statistical study of protein-protein interaction in
  living cells Relaxation, frequency shifts and other phenomena at the transition
  between diffusion and ballistic motion
cs.PL cs.LO