Matches in SemOpenAlex for { <https://semopenalex.org/work/W760508519> ?p ?o ?g. }
- W760508519 created "2016-06-24" @default.
- W760508519 creator A5053899287 @default.
- W760508519 date "2013-01-01" @default.
- W760508519 modified "2023-09-24" @default.
- W760508519 title "A cosmology of datatypes : reusability and dependent types" @default.
- W760508519 cites W131776992 @default.
- W760508519 cites W1487992270 @default.
- W760508519 cites W1488885199 @default.
- W760508519 cites W1492083739 @default.
- W760508519 cites W1498097959 @default.
- W760508519 cites W1511916234 @default.
- W760508519 cites W1522049235 @default.
- W760508519 cites W1532322885 @default.
- W760508519 cites W1539120745 @default.
- W760508519 cites W1539303361 @default.
- W760508519 cites W1543392755 @default.
- W760508519 cites W1547527421 @default.
- W760508519 cites W1549406551 @default.
- W760508519 cites W1564971179 @default.
- W760508519 cites W1567927032 @default.
- W760508519 cites W1570978294 @default.
- W760508519 cites W1575675278 @default.
- W760508519 cites W1578113853 @default.
- W760508519 cites W1585023794 @default.
- W760508519 cites W1587287586 @default.
- W760508519 cites W159354440 @default.
- W760508519 cites W1593841126 @default.
- W760508519 cites W1597282693 @default.
- W760508519 cites W1597824249 @default.
- W760508519 cites W1606211906 @default.
- W760508519 cites W1685438685 @default.
- W760508519 cites W1688372159 @default.
- W760508519 cites W1690628218 @default.
- W760508519 cites W1716456307 @default.
- W760508519 cites W172574161 @default.
- W760508519 cites W1751016442 @default.
- W760508519 cites W1768450951 @default.
- W760508519 cites W1773541432 @default.
- W760508519 cites W18232636 @default.
- W760508519 cites W1825484700 @default.
- W760508519 cites W1828583149 @default.
- W760508519 cites W1829244603 @default.
- W760508519 cites W1834021050 @default.
- W760508519 cites W1858353210 @default.
- W760508519 cites W1913632592 @default.
- W760508519 cites W1964211642 @default.
- W760508519 cites W1969682671 @default.
- W760508519 cites W1977955863 @default.
- W760508519 cites W1978777279 @default.
- W760508519 cites W1980786790 @default.
- W760508519 cites W1987700231 @default.
- W760508519 cites W1997354605 @default.
- W760508519 cites W2007492338 @default.
- W760508519 cites W2012619465 @default.
- W760508519 cites W2014836228 @default.
- W760508519 cites W2022837260 @default.
- W760508519 cites W2032294923 @default.
- W760508519 cites W2036676170 @default.
- W760508519 cites W204594666 @default.
- W760508519 cites W2047058869 @default.
- W760508519 cites W2055372384 @default.
- W760508519 cites W2056879345 @default.
- W760508519 cites W2085858043 @default.
- W760508519 cites W2086788473 @default.
- W760508519 cites W2088639858 @default.
- W760508519 cites W2090046646 @default.
- W760508519 cites W2093896470 @default.
- W760508519 cites W2101085206 @default.
- W760508519 cites W2102861499 @default.
- W760508519 cites W2103898608 @default.
- W760508519 cites W2105045857 @default.
- W760508519 cites W2106718208 @default.
- W760508519 cites W2110317952 @default.
- W760508519 cites W2113232207 @default.
- W760508519 cites W2115558830 @default.
- W760508519 cites W2115699102 @default.
- W760508519 cites W2116616150 @default.
- W760508519 cites W2120713972 @default.
- W760508519 cites W2122353578 @default.
- W760508519 cites W2123212991 @default.
- W760508519 cites W2123887510 @default.
- W760508519 cites W2128057448 @default.
- W760508519 cites W2129064963 @default.
- W760508519 cites W2131156825 @default.
- W760508519 cites W2131828631 @default.
- W760508519 cites W2133629640 @default.
- W760508519 cites W2136651263 @default.
- W760508519 cites W2145575901 @default.
- W760508519 cites W2145738007 @default.
- W760508519 cites W2149837936 @default.
- W760508519 cites W2150895128 @default.
- W760508519 cites W2151011698 @default.
- W760508519 cites W2151520617 @default.
- W760508519 cites W2152414370 @default.
- W760508519 cites W2154005761 @default.
- W760508519 cites W2154390633 @default.
- W760508519 cites W2166822586 @default.
- W760508519 cites W2167268698 @default.
- W760508519 cites W2168161210 @default.
- W760508519 cites W2296612922 @default.