Showing results 6 to 11 of 11
< previous
Title | Author(s) | Issue Date | |
---|---|---|---|
Kind inference for datatypes Journal:Proceedings of the ACM on Programming Languages | 2020 | ||
Let Arguments Go First Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems | 2018 | ||
Row and Bounded Polymorphism via Disjoint Polymorphism Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
Scimitar Syndrome with Dilated Azygos Vein and Interrupted Inferior Vena Cava Journal:Annals of Clinical and Laboratory Research | 2016 | ||
Structural abnormalities of the central auditory pathway in infants with nonsyndromic cleft lip and/or palate Journal:Cleft Palate-Craniofacial Journal | 2012 | ||
Union Types with Disjoint Switches Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022) | 2022 |