1,145 followers
Symbolic Computation via Program Transformation. https://t.co/BXHauaojBR
Symbolic Computation via Program Transformation. https://t.co/BXHauaojBR
通常のsymbolic computationはインタプリタだがこれはコンパイラによるアプローチの提案 [1806.03959] Symbolic Computation via Program Transformation https://t.co/onf5IMGdSZ