Algoritmer för att kontrollera subtypning mellan rekursiva typer är kärnan i många programspråkimplementeringar. Men den grundläggande teorin om dessa algoritmer och hur de förhåller sig till enklare deklarativa speciationer är inte allmänt känd, delvis på grund av de tillgängliga introduktionerna till området. Detta handledningspapper innehåller en \end-to-end" introduktion till rekursiva typer och subtypningsalgoritmer, från grundläggande teori till ecient implementation, som anges i den enhetliga matematiska ramen för myntducering.
En bra introduktion till teorin och historien om området är i REF.
Recursive Subtyping Revealed
{'venue': 'Journal of Functional Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}