Matches in SemOpenAlex for { <https://semopenalex.org/work/W2565297312> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2565297312 abstract "Many popular languages have a self-interpreter, that is, an interpreter for the language written in itself. So far, work on polymorphically-typed self-interpreters has concentrated on self-recognizers that merely recover a program from its representation. A larger and until now unsolved challenge is to implement a polymorphically-typed self-evaluator that evaluates the represented program and produces a representation of the result. We present Fωμi, the first λ-calculus that supports a polymorphically-typed self-evaluator. Our calculus extends Fω with recursive types and intensional type functions and has decidable type checking. Our key innovation is a novel implementation of type equality proofs that enables us to define a versatile representation of programs. Our results establish a new category of languages that can support polymorphically-typed self-evaluators." @default.
- W2565297312 created "2017-01-06" @default.
- W2565297312 creator A5011356414 @default.
- W2565297312 creator A5029815282 @default.
- W2565297312 date "2017-01-01" @default.
- W2565297312 modified "2023-09-27" @default.
- W2565297312 title "Typed self-evaluation via intensional type functions" @default.
- W2565297312 cites W1967041135 @default.
- W2565297312 cites W1967061556 @default.
- W2565297312 cites W1980939032 @default.
- W2565297312 cites W1996381722 @default.
- W2565297312 cites W2018926799 @default.
- W2565297312 cites W2021447352 @default.
- W2565297312 cites W2029684521 @default.
- W2565297312 cites W2030916392 @default.
- W2565297312 cites W2032777378 @default.
- W2565297312 cites W2041111005 @default.
- W2565297312 cites W2058213389 @default.
- W2565297312 cites W2082367883 @default.
- W2565297312 cites W2082517951 @default.
- W2565297312 cites W2112121519 @default.
- W2565297312 cites W2125690388 @default.
- W2565297312 cites W2127347132 @default.
- W2565297312 cites W2136177623 @default.
- W2565297312 cites W2150063096 @default.
- W2565297312 cites W2158778600 @default.
- W2565297312 cites W2159526276 @default.
- W2565297312 cites W2160930653 @default.
- W2565297312 cites W2295655199 @default.
- W2565297312 cites W3003303440 @default.
- W2565297312 cites W3006590528 @default.
- W2565297312 cites W3009279359 @default.
- W2565297312 cites W4210585478 @default.
- W2565297312 cites W4246086292 @default.
- W2565297312 cites W4246703569 @default.
- W2565297312 doi "https://doi.org/10.1145/3009837.3009853" @default.
- W2565297312 hasPublicationYear "2017" @default.
- W2565297312 type Work @default.
- W2565297312 sameAs 2565297312 @default.
- W2565297312 citedByCount "8" @default.
- W2565297312 countsByYear W25652973122017 @default.
- W2565297312 countsByYear W25652973122018 @default.
- W2565297312 countsByYear W25652973122019 @default.
- W2565297312 crossrefType "proceedings-article" @default.
- W2565297312 hasAuthorship W2565297312A5011356414 @default.
- W2565297312 hasAuthorship W2565297312A5029815282 @default.
- W2565297312 hasBestOaLocation W25652973121 @default.
- W2565297312 hasConcept C108710211 @default.
- W2565297312 hasConcept C122783720 @default.
- W2565297312 hasConcept C153269930 @default.
- W2565297312 hasConcept C17744445 @default.
- W2565297312 hasConcept C199360897 @default.
- W2565297312 hasConcept C199539241 @default.
- W2565297312 hasConcept C2524010 @default.
- W2565297312 hasConcept C26517878 @default.
- W2565297312 hasConcept C2776359362 @default.
- W2565297312 hasConcept C33923547 @default.
- W2565297312 hasConcept C38652104 @default.
- W2565297312 hasConcept C41008148 @default.
- W2565297312 hasConcept C80444323 @default.
- W2565297312 hasConcept C94625758 @default.
- W2565297312 hasConceptScore W2565297312C108710211 @default.
- W2565297312 hasConceptScore W2565297312C122783720 @default.
- W2565297312 hasConceptScore W2565297312C153269930 @default.
- W2565297312 hasConceptScore W2565297312C17744445 @default.
- W2565297312 hasConceptScore W2565297312C199360897 @default.
- W2565297312 hasConceptScore W2565297312C199539241 @default.
- W2565297312 hasConceptScore W2565297312C2524010 @default.
- W2565297312 hasConceptScore W2565297312C26517878 @default.
- W2565297312 hasConceptScore W2565297312C2776359362 @default.
- W2565297312 hasConceptScore W2565297312C33923547 @default.
- W2565297312 hasConceptScore W2565297312C38652104 @default.
- W2565297312 hasConceptScore W2565297312C41008148 @default.
- W2565297312 hasConceptScore W2565297312C80444323 @default.
- W2565297312 hasConceptScore W2565297312C94625758 @default.
- W2565297312 hasFunder F4320306076 @default.
- W2565297312 hasLocation W25652973121 @default.
- W2565297312 hasOpenAccess W2565297312 @default.
- W2565297312 hasPrimaryLocation W25652973121 @default.
- W2565297312 hasRelatedWork W1515791128 @default.
- W2565297312 hasRelatedWork W1763969474 @default.
- W2565297312 hasRelatedWork W2018297885 @default.
- W2565297312 hasRelatedWork W2039810254 @default.
- W2565297312 hasRelatedWork W2161646044 @default.
- W2565297312 hasRelatedWork W2353965302 @default.
- W2565297312 hasRelatedWork W2998595860 @default.
- W2565297312 hasRelatedWork W3201393941 @default.
- W2565297312 hasRelatedWork W4245681215 @default.
- W2565297312 hasRelatedWork W83884855 @default.
- W2565297312 isParatext "false" @default.
- W2565297312 isRetracted "false" @default.
- W2565297312 magId "2565297312" @default.
- W2565297312 workType "article" @default.