Induction by Coinduction and Control Operators in Call-by-Name

Autor:	Kakutani, Yoshihiko, Kimura, Daisuke
Rok vydání:	2013
Předmět:	Computer Science - Logic in Computer Science Computer Science - Programming Languages F.3.3 D.3.3 F.4.1
Zdroj:	EPTCS 127, 2013, pp. 101-112
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.127.7
Popis:	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 operators cannot have general initial algebras, interaction of induction and control operators is often restricted to effect-free functions. We show that some class of such restricted inductive types can be derived from full coinductive types by the power of control operators. As a typical example of our results, the type of natural numbers is represented by the type of streams. The underlying idea is a counterpart of the fact that some coinductive types can be expressed by inductive types in call-by-name pure language without side-effects. Comment: In Proceedings COS 2013, arXiv:1309.0924
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1309.1258 Zobrazit plný text záznamu View this record from Arxiv