On the semantic expressiveness of recursive types

Marco Patrignani, Eric Mark Martin, Dominique Devriese

Onderzoeksoutput: Article › peer review

3 Citaten (Scopus)

64 Downloads (Pure)

3 Citaties
1 Other report

1 resultaten

On the Semantic Expressiveness of Recursive Types
Patrignani, M., Martin, E. M. & Devriese, D., 21 okt 2020, 153 blz.
Onderzoeksoutput: Other report

Open Access