Matches in SemOpenAlex for { <https://semopenalex.org/location/W21451085491> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W21451085491 hasURL "https://doi.org/10.1017/s095679681300018x" @default.
- W21451085491 type Location @default.
- W21451085491 hasSource S12266929 @default.
- W21451085491 hasVersion "publishedVersion" @default.
- W21451085491 isOa "true" @default.
- W21451085491 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/418409138B4452969AC0736DB0A2C238/S095679681300018Xa.pdf/div-class-title-idris-a-general-purpose-dependently-typed-programming-language-design-and-implementation-div.pdf" @default.