Waveguide QED with cold atoms provides a potent platform for the study of non-equilibrium, many-body, and open-system quantum dynamics. Even weak coupling strong photon loss, collective enhancement light-atom interactions leads to correlations photons arising in transmission, as shown recent experiments. Here we apply an improved mean-field theory based on higher-order cumulant expansions descr...

The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation Scala, but its support for type-level computation proven insufficient. As remedy, we propose $F^\omega_{..}$, rigorous theoretical foundation Scala's higher-kinded types. $F^\omega_{..}$ extends $F^\omega_{<:}$ with interval kinds, which afford unified treatment important type- kind-level abstra...