Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287209069> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4287209069 abstract "Elixir is a functional programming language with dynamic typing. We propose a gradual type system that makes it possible to perform type-checking on a significant fragment of the language. An important feature of the type system is that it does not require any syntactic change to Elixir. Type information is provided by means of function signatures which are declared in terms of Elixir typespec directives. The proposed type system is based on subtyping and is backward compatible, as it allows the presence of untyped code fragments. We have implemented a prototype of the type-checker in Elixir itself." @default.
- W4287209069 created "2022-07-25" @default.
- W4287209069 creator A5007307934 @default.
- W4287209069 creator A5026040673 @default.
- W4287209069 creator A5046677851 @default.
- W4287209069 creator A5062340027 @default.
- W4287209069 date "2021-04-16" @default.
- W4287209069 modified "2023-10-11" @default.
- W4287209069 title "A Gradual Type System for Elixir" @default.
- W4287209069 doi "https://doi.org/10.48550/arxiv.2104.08366" @default.
- W4287209069 hasPublicationYear "2021" @default.
- W4287209069 type Work @default.
- W4287209069 citedByCount "0" @default.
- W4287209069 crossrefType "posted-content" @default.
- W4287209069 hasAuthorship W4287209069A5007307934 @default.
- W4287209069 hasAuthorship W4287209069A5026040673 @default.
- W4287209069 hasAuthorship W4287209069A5046677851 @default.
- W4287209069 hasAuthorship W4287209069A5062340027 @default.
- W4287209069 hasBestOaLocation W42872090691 @default.
- W4287209069 hasConcept C103472402 @default.
- W4287209069 hasConcept C135790938 @default.
- W4287209069 hasConcept C138885662 @default.
- W4287209069 hasConcept C154945302 @default.
- W4287209069 hasConcept C18903297 @default.
- W4287209069 hasConcept C198370458 @default.
- W4287209069 hasConcept C199360897 @default.
- W4287209069 hasConcept C20528804 @default.
- W4287209069 hasConcept C2776214188 @default.
- W4287209069 hasConcept C2776235265 @default.
- W4287209069 hasConcept C2776401178 @default.
- W4287209069 hasConcept C2777299769 @default.
- W4287209069 hasConcept C41008148 @default.
- W4287209069 hasConcept C41895202 @default.
- W4287209069 hasConcept C42383842 @default.
- W4287209069 hasConcept C83852419 @default.
- W4287209069 hasConcept C86803240 @default.
- W4287209069 hasConceptScore W4287209069C103472402 @default.
- W4287209069 hasConceptScore W4287209069C135790938 @default.
- W4287209069 hasConceptScore W4287209069C138885662 @default.
- W4287209069 hasConceptScore W4287209069C154945302 @default.
- W4287209069 hasConceptScore W4287209069C18903297 @default.
- W4287209069 hasConceptScore W4287209069C198370458 @default.
- W4287209069 hasConceptScore W4287209069C199360897 @default.
- W4287209069 hasConceptScore W4287209069C20528804 @default.
- W4287209069 hasConceptScore W4287209069C2776214188 @default.
- W4287209069 hasConceptScore W4287209069C2776235265 @default.
- W4287209069 hasConceptScore W4287209069C2776401178 @default.
- W4287209069 hasConceptScore W4287209069C2777299769 @default.
- W4287209069 hasConceptScore W4287209069C41008148 @default.
- W4287209069 hasConceptScore W4287209069C41895202 @default.
- W4287209069 hasConceptScore W4287209069C42383842 @default.
- W4287209069 hasConceptScore W4287209069C83852419 @default.
- W4287209069 hasConceptScore W4287209069C86803240 @default.
- W4287209069 hasLocation W42872090691 @default.
- W4287209069 hasOpenAccess W4287209069 @default.
- W4287209069 hasPrimaryLocation W42872090691 @default.
- W4287209069 hasRelatedWork W1527062704 @default.
- W4287209069 hasRelatedWork W1573193667 @default.
- W4287209069 hasRelatedWork W2102009438 @default.
- W4287209069 hasRelatedWork W2132201171 @default.
- W4287209069 hasRelatedWork W2797487433 @default.
- W4287209069 hasRelatedWork W3144346414 @default.
- W4287209069 hasRelatedWork W3197149156 @default.
- W4287209069 hasRelatedWork W3215124647 @default.
- W4287209069 hasRelatedWork W4243252198 @default.
- W4287209069 hasRelatedWork W4287209069 @default.
- W4287209069 isParatext "false" @default.
- W4287209069 isRetracted "false" @default.
- W4287209069 workType "article" @default.