A Specification for Typed Template Haskell
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq
  and HOL4
Disentangling sources of anomalous diffusion Approximate Functionals in Hypercomplex Kohn-Sham Theory A mathematical framework for critical transitions: normal forms,
  variance and applications Non-Smooth Newton Methods for Deformable Multi-Body Dynamics Nonlinear analysis of bivariate data with cross recurrence plots Wigner surmise for mixed symmetry classes in random matrix theory Geometrical properties of local dynamics in Hamiltonian systems: the
  Generalized Alignment Index (GALI) method A Simple Quantum Integro-Differential Solver (SQuIDS) Graph-Structured Representations for Visual Question Answering Do higher-order interactions promote synchronization? Residual-Based Detections and Unified Architecture for Massive MIMO
  Uplink Learning Efficient Representations for Keyword Spotting with Triplet
  Loss Superconductivity, generalized random phase approximation and linear
  scaling methods Free energies of molecular clusters determined by guided mechanical
  disassembly Stability and interaction of compactons in the sublinear KdV equation Hybrid neural network reduced order modelling for turbulent flows with
  geometric parameters A possible case of sporadic aurora observed at Rio de Janeiro
cs.PL