Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949652270> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2949652270 abstract "Starting with an algorithm to turn lists into full trees which uses non-obvious invariants and partial functions, we progressively encode the invariants in the types of the data, removing most of the burden of a correctness proof. The invariants are encoded using non-uniform inductive types which parallel numerical representations in a style advertised by Okasaki, and a small amount of dependent types." @default.
- W2949652270 created "2019-06-27" @default.
- W2949652270 creator A5019246823 @default.
- W2949652270 creator A5019615126 @default.
- W2949652270 date "2014-01-30" @default.
- W2949652270 modified "2023-09-27" @default.
- W2949652270 title "Balancing lists: a proof pearl" @default.
- W2949652270 cites W2037007500 @default.
- W2949652270 cites W2105045857 @default.
- W2949652270 cites W3009743944 @default.
- W2949652270 hasPublicationYear "2014" @default.
- W2949652270 type Work @default.
- W2949652270 sameAs 2949652270 @default.
- W2949652270 citedByCount "0" @default.
- W2949652270 crossrefType "posted-content" @default.
- W2949652270 hasAuthorship W2949652270A5019246823 @default.
- W2949652270 hasAuthorship W2949652270A5019615126 @default.
- W2949652270 hasConcept C104317684 @default.
- W2949652270 hasConcept C111919701 @default.
- W2949652270 hasConcept C11413529 @default.
- W2949652270 hasConcept C124978682 @default.
- W2949652270 hasConcept C166957645 @default.
- W2949652270 hasConcept C205649164 @default.
- W2949652270 hasConcept C2776445246 @default.
- W2949652270 hasConcept C2779251273 @default.
- W2949652270 hasConcept C33923547 @default.
- W2949652270 hasConcept C41008148 @default.
- W2949652270 hasConcept C55439883 @default.
- W2949652270 hasConcept C55493867 @default.
- W2949652270 hasConcept C66746571 @default.
- W2949652270 hasConcept C80444323 @default.
- W2949652270 hasConcept C86803240 @default.
- W2949652270 hasConceptScore W2949652270C104317684 @default.
- W2949652270 hasConceptScore W2949652270C111919701 @default.
- W2949652270 hasConceptScore W2949652270C11413529 @default.
- W2949652270 hasConceptScore W2949652270C124978682 @default.
- W2949652270 hasConceptScore W2949652270C166957645 @default.
- W2949652270 hasConceptScore W2949652270C205649164 @default.
- W2949652270 hasConceptScore W2949652270C2776445246 @default.
- W2949652270 hasConceptScore W2949652270C2779251273 @default.
- W2949652270 hasConceptScore W2949652270C33923547 @default.
- W2949652270 hasConceptScore W2949652270C41008148 @default.
- W2949652270 hasConceptScore W2949652270C55439883 @default.
- W2949652270 hasConceptScore W2949652270C55493867 @default.
- W2949652270 hasConceptScore W2949652270C66746571 @default.
- W2949652270 hasConceptScore W2949652270C80444323 @default.
- W2949652270 hasConceptScore W2949652270C86803240 @default.
- W2949652270 hasLocation W29496522701 @default.
- W2949652270 hasOpenAccess W2949652270 @default.
- W2949652270 hasPrimaryLocation W29496522701 @default.
- W2949652270 hasRelatedWork W1483974062 @default.
- W2949652270 hasRelatedWork W1491696635 @default.
- W2949652270 hasRelatedWork W1979323701 @default.
- W2949652270 hasRelatedWork W20887312 @default.
- W2949652270 hasRelatedWork W2090208917 @default.
- W2949652270 hasRelatedWork W2109820521 @default.
- W2949652270 hasRelatedWork W2461537179 @default.
- W2949652270 hasRelatedWork W2482656178 @default.
- W2949652270 hasRelatedWork W2891509302 @default.
- W2949652270 hasRelatedWork W2912259974 @default.
- W2949652270 hasRelatedWork W2913887712 @default.
- W2949652270 hasRelatedWork W2971024085 @default.
- W2949652270 hasRelatedWork W3087782759 @default.
- W2949652270 hasRelatedWork W3106252329 @default.
- W2949652270 hasRelatedWork W3111652823 @default.
- W2949652270 hasRelatedWork W3129588812 @default.
- W2949652270 hasRelatedWork W3146184629 @default.
- W2949652270 hasRelatedWork W3200336857 @default.
- W2949652270 hasRelatedWork W62191907 @default.
- W2949652270 hasRelatedWork W42945865 @default.
- W2949652270 isParatext "false" @default.
- W2949652270 isRetracted "false" @default.
- W2949652270 magId "2949652270" @default.
- W2949652270 workType "article" @default.