Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890770308> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2890770308 abstract "Dependently typed programming languages, such as Idris and Agda, feature rich interactive environments that use informative types to assist users with the construction of programs. However, these environments have been provided by the authors of the language, and users have not had an easy way to extend and customize them. We address this problem by extending Idris's metaprogramming facilities with primitives for describing new type-directed editing features, making Idris's editors as extensible as its elaborator." @default.
- W2890770308 created "2018-09-27" @default.
- W2890770308 creator A5062691562 @default.
- W2890770308 creator A5088271411 @default.
- W2890770308 date "2018-09-27" @default.
- W2890770308 modified "2023-09-23" @default.
- W2890770308 title "Extensible type-directed editing" @default.
- W2890770308 cites W1464569014 @default.
- W2890770308 cites W1585023794 @default.
- W2890770308 cites W2009775190 @default.
- W2890770308 cites W2017233431 @default.
- W2890770308 cites W2018627349 @default.
- W2890770308 cites W2026049208 @default.
- W2890770308 cites W2045255985 @default.
- W2890770308 cites W2062887328 @default.
- W2890770308 cites W2097493261 @default.
- W2890770308 cites W2097699872 @default.
- W2890770308 cites W2098037505 @default.
- W2890770308 cites W2116813111 @default.
- W2890770308 cites W2131739376 @default.
- W2890770308 cites W2145108549 @default.
- W2890770308 cites W2180135777 @default.
- W2890770308 cites W2489483223 @default.
- W2890770308 cites W2507856242 @default.
- W2890770308 cites W2753707546 @default.
- W2890770308 cites W2767557842 @default.
- W2890770308 doi "https://doi.org/10.1145/3240719.3241791" @default.
- W2890770308 hasPublicationYear "2018" @default.
- W2890770308 type Work @default.
- W2890770308 sameAs 2890770308 @default.
- W2890770308 citedByCount "2" @default.
- W2890770308 countsByYear W28907703082019 @default.
- W2890770308 crossrefType "proceedings-article" @default.
- W2890770308 hasAuthorship W2890770308A5062691562 @default.
- W2890770308 hasAuthorship W2890770308A5088271411 @default.
- W2890770308 hasConcept C131531359 @default.
- W2890770308 hasConcept C138885662 @default.
- W2890770308 hasConcept C150762246 @default.
- W2890770308 hasConcept C199360897 @default.
- W2890770308 hasConcept C2776401178 @default.
- W2890770308 hasConcept C32833848 @default.
- W2890770308 hasConcept C34165917 @default.
- W2890770308 hasConcept C35390924 @default.
- W2890770308 hasConcept C41008148 @default.
- W2890770308 hasConcept C41895202 @default.
- W2890770308 hasConcept C42383842 @default.
- W2890770308 hasConcept C50033165 @default.
- W2890770308 hasConcept C7051814 @default.
- W2890770308 hasConceptScore W2890770308C131531359 @default.
- W2890770308 hasConceptScore W2890770308C138885662 @default.
- W2890770308 hasConceptScore W2890770308C150762246 @default.
- W2890770308 hasConceptScore W2890770308C199360897 @default.
- W2890770308 hasConceptScore W2890770308C2776401178 @default.
- W2890770308 hasConceptScore W2890770308C32833848 @default.
- W2890770308 hasConceptScore W2890770308C34165917 @default.
- W2890770308 hasConceptScore W2890770308C35390924 @default.
- W2890770308 hasConceptScore W2890770308C41008148 @default.
- W2890770308 hasConceptScore W2890770308C41895202 @default.
- W2890770308 hasConceptScore W2890770308C42383842 @default.
- W2890770308 hasConceptScore W2890770308C50033165 @default.
- W2890770308 hasConceptScore W2890770308C7051814 @default.
- W2890770308 hasLocation W28907703081 @default.
- W2890770308 hasOpenAccess W2890770308 @default.
- W2890770308 hasPrimaryLocation W28907703081 @default.
- W2890770308 hasRelatedWork W126504055 @default.
- W2890770308 hasRelatedWork W2027798793 @default.
- W2890770308 hasRelatedWork W2073905442 @default.
- W2890770308 hasRelatedWork W2137857582 @default.
- W2890770308 hasRelatedWork W2953269848 @default.
- W2890770308 hasRelatedWork W3032606483 @default.
- W2890770308 hasRelatedWork W4206708621 @default.
- W2890770308 hasRelatedWork W4247303267 @default.
- W2890770308 hasRelatedWork W4249191812 @default.
- W2890770308 hasRelatedWork W4250507118 @default.
- W2890770308 isParatext "false" @default.
- W2890770308 isRetracted "false" @default.
- W2890770308 magId "2890770308" @default.
- W2890770308 workType "article" @default.