Matches in SemOpenAlex for { <https://semopenalex.org/location/W31358396031> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W31358396031 hasURL "https://doi.org/10.1017/s0956796820000283" @default.
- W31358396031 type Location @default.
- W31358396031 hasSource S12266929 @default.
- W31358396031 hasVersion "publishedVersion" @default.
- W31358396031 isOa "true" @default.
- W31358396031 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/88AC7FD74F828740A1CD961559147F70/S0956796820000283a.pdf/div-class-title-ready-span-class-monospace-set-span-verify-applying-span-class-monospace-hs-to-coq-span-to-real-world-haskell-code-div.pdf" @default.