Programs as Singularities
arxiv.org