2020.ecoop.org

Sound regular corecursion in coFJ

Sound regular corecursion in coFJ

The aim of the paper is to provide solid foundations for a programming paradigm natively supporting the creation and manipulation of cyclic data structures.

Domein: 2020.ecoop.org Bekijk meer