FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3046473740> ?p ?o ?g. }

• W3046473740 endingPage "1418" @default.
• W3046473740 startingPage "1393" @default.
• W3046473740 created "2020-08-07" @default.
• W3046473740 creator A5040489279 @default.
• W3046473740 creator A5044611656 @default.
• W3046473740 creator A5046662452 @default.
• W3046473740 creator A5084941435 @default.
• W3046473740 date "2020-08-01" @default.
• W3046473740 modified "2023-10-17" @default.
• W3046473740 title "ICE-Based Refinement Type Discovery for Higher-Order Functional Programs" @default.
• W3046473740 cites W145069693 @default.
• W3046473740 cites W1480909796 @default.
• W3046473740 cites W1503677488 @default.
• W3046473740 cites W1544283013 @default.
• W3046473740 cites W1553894716 @default.
• W3046473740 cites W161537417 @default.
• W3046473740 cites W1923535011 @default.
• W3046473740 cites W1973094460 @default.
• W3046473740 cites W2005192022 @default.
• W3046473740 cites W2078578987 @default.
• W3046473740 cites W2089805963 @default.
• W3046473740 cites W2101085206 @default.
• W3046473740 cites W2105656272 @default.
• W3046473740 cites W2108776051 @default.
• W3046473740 cites W2142800636 @default.
• W3046473740 cites W2168627357 @default.
• W3046473740 cites W2185676247 @default.
• W3046473740 cites W2247845964 @default.
• W3046473740 cites W2280703106 @default.
• W3046473740 cites W2293809538 @default.
• W3046473740 cites W2295923951 @default.
• W3046473740 cites W2414616261 @default.
• W3046473740 cites W2503425026 @default.
• W3046473740 cites W2571456046 @default.
• W3046473740 cites W2798232457 @default.
• W3046473740 cites W2798609500 @default.
• W3046473740 cites W2798666859 @default.
• W3046473740 cites W2896700544 @default.
• W3046473740 cites W2905741428 @default.
• W3046473740 cites W2910565741 @default.
• W3046473740 cites W3136890312 @default.
• W3046473740 cites W3138459719 @default.
• W3046473740 cites W4298227433 @default.
• W3046473740 cites W67718509 @default.
• W3046473740 cites W81626549 @default.
• W3046473740 cites W95161029 @default.
• W3046473740 doi "https://doi.org/10.1007/s10817-020-09571-y" @default.
• W3046473740 hasPublicationYear "2020" @default.
• W3046473740 type Work @default.
• W3046473740 sameAs 3046473740 @default.
• W3046473740 citedByCount "15" @default.
• W3046473740 countsByYear W30464737402021 @default.
• W3046473740 countsByYear W30464737402022 @default.
• W3046473740 countsByYear W30464737402023 @default.
• W3046473740 crossrefType "journal-article" @default.
• W3046473740 hasAuthorship W3046473740A5040489279 @default.
• W3046473740 hasAuthorship W3046473740A5044611656 @default.
• W3046473740 hasAuthorship W3046473740A5046662452 @default.
• W3046473740 hasAuthorship W3046473740A5084941435 @default.
• W3046473740 hasConcept C10138342 @default.
• W3046473740 hasConcept C11413529 @default.
• W3046473740 hasConcept C118615104 @default.
• W3046473740 hasConcept C14036430 @default.
• W3046473740 hasConcept C162324750 @default.
• W3046473740 hasConcept C182306322 @default.
• W3046473740 hasConcept C18903297 @default.
• W3046473740 hasConcept C190470478 @default.
• W3046473740 hasConcept C199360897 @default.
• W3046473740 hasConcept C2777299769 @default.
• W3046473740 hasConcept C2778029271 @default.
• W3046473740 hasConcept C33923547 @default.
• W3046473740 hasConcept C37914503 @default.
• W3046473740 hasConcept C41008148 @default.
• W3046473740 hasConcept C78458016 @default.
• W3046473740 hasConcept C80444323 @default.
• W3046473740 hasConcept C86803240 @default.
• W3046473740 hasConceptScore W3046473740C10138342 @default.
• W3046473740 hasConceptScore W3046473740C11413529 @default.
• W3046473740 hasConceptScore W3046473740C118615104 @default.
• W3046473740 hasConceptScore W3046473740C14036430 @default.
• W3046473740 hasConceptScore W3046473740C162324750 @default.
• W3046473740 hasConceptScore W3046473740C182306322 @default.
• W3046473740 hasConceptScore W3046473740C18903297 @default.
• W3046473740 hasConceptScore W3046473740C190470478 @default.
• W3046473740 hasConceptScore W3046473740C199360897 @default.
• W3046473740 hasConceptScore W3046473740C2777299769 @default.
• W3046473740 hasConceptScore W3046473740C2778029271 @default.
• W3046473740 hasConceptScore W3046473740C33923547 @default.
• W3046473740 hasConceptScore W3046473740C37914503 @default.
• W3046473740 hasConceptScore W3046473740C41008148 @default.
• W3046473740 hasConceptScore W3046473740C78458016 @default.
• W3046473740 hasConceptScore W3046473740C80444323 @default.
• W3046473740 hasConceptScore W3046473740C86803240 @default.
• W3046473740 hasFunder F4320334764 @default.
• W3046473740 hasIssue "7" @default.
• W3046473740 hasLocation W30464737401 @default.
• W3046473740 hasOpenAccess W3046473740 @default.
• W3046473740 hasPrimaryLocation W30464737401 @default.
• W3046473740 hasRelatedWork W1841979199 @default.
• W3046473740 hasRelatedWork W2033571057 @default.

• next