Makoto Hamana | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

research

∙ 12/07/2019

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

We present a new modular proof method of termination for second-order co...

0 Makoto Hamana, et al. ∙

research

∙ 12/07/2019

A Modular Termination Method for Second-Order Computation

We present a new modular proof method of termination for second-order co...

0 Makoto Hamana, et al. ∙

research

∙ 12/07/2019

Modular Termination Checking Theorems for Second-Order Computation

We present new theorems of modular termination checking for second-order...

0 Makoto Hamana, et al. ∙