FRINK Linked Data Fragments server

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

• W2753372626 endingPage "29" @default.
• W2753372626 startingPage "1" @default.
• W2753372626 abstract "This paper introduces a new methodology for the complexity analysis of higher-order functional programs, which is based on three ingredients: a powerful type system for size analysis and a sound type inference procedure for it, a ticking monadic transformation and constraint solving. Noticeably, the presented methodology can be fully automated, and is able to analyse a series of examples which cannot be handled by most competitor methodologies. This is possible due to various key ingredients, and in particular an abstract index language and index polymorphism at higher ranks. A prototype implementation is available." @default.
• W2753372626 created "2017-09-15" @default.
• W2753372626 creator A5048841494 @default.
• W2753372626 creator A5084450516 @default.
• W2753372626 date "2017-08-29" @default.
• W2753372626 modified "2023-10-16" @default.
• W2753372626 title "Automating sized-type inference for complexity analysis" @default.
• W2753372626 cites W1484559376 @default.
• W2753372626 cites W1530375435 @default.
• W2753372626 cites W1552495765 @default.
• W2753372626 cites W1563352283 @default.
• W2753372626 cites W1602651206 @default.
• W2753372626 cites W1636902686 @default.
• W2753372626 cites W1820801715 @default.
• W2753372626 cites W1982529770 @default.
• W2753372626 cites W1992296379 @default.
• W2753372626 cites W1993439083 @default.
• W2753372626 cites W2007106955 @default.
• W2753372626 cites W2010790229 @default.
• W2753372626 cites W2020692742 @default.
• W2753372626 cites W2066550846 @default.
• W2753372626 cites W2070322713 @default.
• W2753372626 cites W2076285066 @default.
• W2753372626 cites W2094647969 @default.
• W2753372626 cites W2095867533 @default.
• W2753372626 cites W2105045857 @default.
• W2753372626 cites W2131916293 @default.
• W2753372626 cites W2135316487 @default.
• W2753372626 cites W2154632906 @default.
• W2753372626 cites W2159897916 @default.
• W2753372626 cites W2171496589 @default.
• W2753372626 cites W2188068291 @default.
• W2753372626 cites W2258276823 @default.
• W2753372626 cites W2463218253 @default.
• W2753372626 cites W2547267640 @default.
• W2753372626 cites W2911880377 @default.
• W2753372626 cites W30585784 @default.
• W2753372626 cites W4242321992 @default.
• W2753372626 cites W912214939 @default.
• W2753372626 doi "https://doi.org/10.1145/3110287" @default.
• W2753372626 hasPublicationYear "2017" @default.
• W2753372626 type Work @default.
• W2753372626 sameAs 2753372626 @default.
• W2753372626 citedByCount "24" @default.
• W2753372626 countsByYear W27533726262017 @default.
• W2753372626 countsByYear W27533726262018 @default.
• W2753372626 countsByYear W27533726262019 @default.
• W2753372626 countsByYear W27533726262020 @default.
• W2753372626 countsByYear W27533726262021 @default.
• W2753372626 countsByYear W27533726262022 @default.
• W2753372626 countsByYear W27533726262023 @default.
• W2753372626 crossrefType "journal-article" @default.
• W2753372626 hasAuthorship W2753372626A5048841494 @default.
• W2753372626 hasAuthorship W2753372626A5084450516 @default.
• W2753372626 hasBestOaLocation W27533726261 @default.
• W2753372626 hasConcept C104317684 @default.
• W2753372626 hasConcept C154945302 @default.
• W2753372626 hasConcept C185592680 @default.
• W2753372626 hasConcept C18903297 @default.
• W2753372626 hasConcept C198370458 @default.
• W2753372626 hasConcept C199360897 @default.
• W2753372626 hasConcept C204241405 @default.
• W2753372626 hasConcept C2524010 @default.
• W2753372626 hasConcept C26517878 @default.
• W2753372626 hasConcept C2776036281 @default.
• W2753372626 hasConcept C2776214188 @default.
• W2753372626 hasConcept C2777299769 @default.
• W2753372626 hasConcept C33923547 @default.
• W2753372626 hasConcept C38652104 @default.
• W2753372626 hasConcept C41008148 @default.
• W2753372626 hasConcept C55493867 @default.
• W2753372626 hasConcept C80444323 @default.
• W2753372626 hasConcept C86803240 @default.
• W2753372626 hasConceptScore W2753372626C104317684 @default.
• W2753372626 hasConceptScore W2753372626C154945302 @default.
• W2753372626 hasConceptScore W2753372626C185592680 @default.
• W2753372626 hasConceptScore W2753372626C18903297 @default.
• W2753372626 hasConceptScore W2753372626C198370458 @default.
• W2753372626 hasConceptScore W2753372626C199360897 @default.
• W2753372626 hasConceptScore W2753372626C204241405 @default.
• W2753372626 hasConceptScore W2753372626C2524010 @default.
• W2753372626 hasConceptScore W2753372626C26517878 @default.
• W2753372626 hasConceptScore W2753372626C2776036281 @default.
• W2753372626 hasConceptScore W2753372626C2776214188 @default.
• W2753372626 hasConceptScore W2753372626C2777299769 @default.
• W2753372626 hasConceptScore W2753372626C33923547 @default.
• W2753372626 hasConceptScore W2753372626C38652104 @default.
• W2753372626 hasConceptScore W2753372626C41008148 @default.
• W2753372626 hasConceptScore W2753372626C55493867 @default.
• W2753372626 hasConceptScore W2753372626C80444323 @default.
• W2753372626 hasConceptScore W2753372626C86803240 @default.
• W2753372626 hasFunder F4320320883 @default.
• W2753372626 hasFunder F4320321181 @default.
• W2753372626 hasIssue "ICFP" @default.
• W2753372626 hasLocation W27533726261 @default.
• W2753372626 hasLocation W27533726262 @default.
• W2753372626 hasLocation W27533726263 @default.
• W2753372626 hasOpenAccess W2753372626 @default.

• next