@article{Leivant2018, author = "Daniel Leivant", title = "{Finitely stratified polymorphism}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Finitely_stratified_polymorphism/6605714", doi = "10.1184/R1/6605714.v1" }