11 citations · 20 across the 10 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013
Induction by Coinduction and Control Operators in Call-by-Name
Yoshihiko Kakutani, Daisuke Kimura
This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control o…
cs.LO2013★ 6 cited
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
Daisuke Kimura, Makoto Tatsuta
This paper extends the dual calculus with inductive types and coinductive types. The paper first introduces a non-deterministic dual calculus with inductive and coinductive types.…