Language Semantics for a Simple Differentiable Language Using Distribution Theory (Lightning Talk) August 9, 2020ACM SIGPLAN