On the Semantic Expressiveness of Recursive Types
Rewrite Rule Inference Using Equality Saturation
Object-oriented tools for advanced applications Feynman Machine: The Universal Dynamical Systems Computer Vortex precession and exchange in a Bose-Einstein condensate Plastic scintillators for positron emission tomography obtained by the
  bulk polymerization method Numbers as functions: the development of an idea in the Moscow school of
  algebraic geometry Solving Multi-choice Secretary Problem in Parallel: An Optimal
  Observation-Selection Protocol Order polarities Buzz: An Extensible Programming Language for Self-Organizing
  Heterogeneous Robot Swarms The zeta function of a finite category and the series Euler
  characteristic Lupulus: A Flexible Hardware Accelerator for Neural Networks The cut metric for probability distributions Infrared Opacities in Dense Atmospheres of Cool White Dwarf Stars Accelerating Empowerment Computation with UCT Tree Search Decay of harmonic functions for discrete time Feynman--Kac operators
  with confining potentials The Renormalization-Group Method Applied to Asymptotic Analysis of
  Vector Fields Hard Sample Aware Noise Robust Learning for Histopathology Image
  Classification Fabrication of CeO2 by sol-gel process based on microfluidic technology
  as an analog preparation of ceramic nuclear fuel microspheres Model-free inference of direct network interactions from nonlinear
  collective dynamics Astrodynamical Space Test of Relativity using Optical Devices I (ASTROD
  I) - Mission Overview Iterative procedure for network inference
cs.PL