On the semantic expressiveness of recursive types

Marco Patrignani, Eric Mark Martin, Dominique Devriese

Onderzoeksoutput: Articlepeer review

3 Citaten (Scopus)
56 Downloads (Pure)

Zoekresultaten