Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953642509> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2953642509 abstract "Type systems and their accompanying checkers provide support for the programmer to write better and safer code, faster, with less effort and with less errors. There are however properties that can not be checked at compile time yet. Refinement types are potentially the solution. They can prove properties of the behaviour of code without actually running and therefore avoid costly bugs in software. This is done by decorating types with predicates that tell something about the value of that type. This paper discusses an implementation of a refinement type system for a functional language." @default.
- W2953642509 created "2019-07-12" @default.
- W2953642509 creator A5074771255 @default.
- W2953642509 date "2019-01-01" @default.
- W2953642509 modified "2023-09-27" @default.
- W2953642509 title "Declarative and Algorithmic Implementation of Refinement Types" @default.
- W2953642509 hasPublicationYear "2019" @default.
- W2953642509 type Work @default.
- W2953642509 sameAs 2953642509 @default.
- W2953642509 citedByCount "0" @default.
- W2953642509 crossrefType "journal-article" @default.
- W2953642509 hasAuthorship W2953642509A5074771255 @default.
- W2953642509 hasConcept C169590947 @default.
- W2953642509 hasConcept C177264268 @default.
- W2953642509 hasConcept C18903297 @default.
- W2953642509 hasConcept C199360897 @default.
- W2953642509 hasConcept C2776654903 @default.
- W2953642509 hasConcept C2776760102 @default.
- W2953642509 hasConcept C2777299769 @default.
- W2953642509 hasConcept C2778514511 @default.
- W2953642509 hasConcept C38652104 @default.
- W2953642509 hasConcept C41008148 @default.
- W2953642509 hasConcept C44779574 @default.
- W2953642509 hasConcept C55439883 @default.
- W2953642509 hasConcept C86803240 @default.
- W2953642509 hasConceptScore W2953642509C169590947 @default.
- W2953642509 hasConceptScore W2953642509C177264268 @default.
- W2953642509 hasConceptScore W2953642509C18903297 @default.
- W2953642509 hasConceptScore W2953642509C199360897 @default.
- W2953642509 hasConceptScore W2953642509C2776654903 @default.
- W2953642509 hasConceptScore W2953642509C2776760102 @default.
- W2953642509 hasConceptScore W2953642509C2777299769 @default.
- W2953642509 hasConceptScore W2953642509C2778514511 @default.
- W2953642509 hasConceptScore W2953642509C38652104 @default.
- W2953642509 hasConceptScore W2953642509C41008148 @default.
- W2953642509 hasConceptScore W2953642509C44779574 @default.
- W2953642509 hasConceptScore W2953642509C55439883 @default.
- W2953642509 hasConceptScore W2953642509C86803240 @default.
- W2953642509 hasLocation W29536425091 @default.
- W2953642509 hasOpenAccess W2953642509 @default.
- W2953642509 hasPrimaryLocation W29536425091 @default.
- W2953642509 hasRelatedWork W1475719308 @default.
- W2953642509 hasRelatedWork W1740092441 @default.
- W2953642509 hasRelatedWork W1998255963 @default.
- W2953642509 hasRelatedWork W2002387646 @default.
- W2953642509 hasRelatedWork W2147609113 @default.
- W2953642509 hasRelatedWork W2165505463 @default.
- W2953642509 hasRelatedWork W2182846365 @default.
- W2953642509 hasRelatedWork W2185545053 @default.
- W2953642509 hasRelatedWork W2302011024 @default.
- W2953642509 hasRelatedWork W2738859397 @default.
- W2953642509 hasRelatedWork W2762317461 @default.
- W2953642509 hasRelatedWork W2769623079 @default.
- W2953642509 hasRelatedWork W2888007166 @default.
- W2953642509 hasRelatedWork W2912642237 @default.
- W2953642509 hasRelatedWork W2913479927 @default.
- W2953642509 hasRelatedWork W2963621223 @default.
- W2953642509 hasRelatedWork W3082710588 @default.
- W2953642509 hasRelatedWork W3124420928 @default.
- W2953642509 hasRelatedWork W71096408 @default.
- W2953642509 hasRelatedWork W72265089 @default.
- W2953642509 isParatext "false" @default.
- W2953642509 isRetracted "false" @default.
- W2953642509 magId "2953642509" @default.
- W2953642509 workType "article" @default.