Last Updated：2025/11/23
The paper compares several co-inductions used to define infinite data structures in functional programming.
See correct answer
The paper compares several co-inductions used to define infinite data structures in functional programming.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
その論文は、関数型プログラミングにおける無限データ構造を定義するために用いられるいくつかの共帰納法を比較している。
