Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003131168> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2003131168 endingPage "359" @default.
- W2003131168 startingPage "345" @default.
- W2003131168 abstract "We describe the core of a new strongly-typed functional programming language called LEAP, a “Language with Eval And Polymorphism.” Pure LEAP is an extension of the ω-order polymorphic λ-calculus (F ω) by global definitions that allows the representation of programs and the definition of versions of reify, reflect, and eval for all of (F ω). Pure LEAP is therefore highly reflexive and strongly typed. We believe that Pure LEAP can be extended to a practical and efficient metalanguage in the ML tradition. At present we are experimenting with a prototype implementation of Pure LEAP." @default.
- W2003131168 created "2016-06-24" @default.
- W2003131168 creator A5021476649 @default.
- W2003131168 creator A5022585138 @default.
- W2003131168 date "1989-01-01" @default.
- W2003131168 modified "2023-10-18" @default.
- W2003131168 title "LEAP: A language with eval and polymorphism" @default.
- W2003131168 cites W1513579486 @default.
- W2003131168 cites W1601555688 @default.
- W2003131168 cites W1874450173 @default.
- W2003131168 cites W1977710006 @default.
- W2003131168 cites W2030098725 @default.
- W2003131168 cites W2037809739 @default.
- W2003131168 cites W2043416466 @default.
- W2003131168 cites W2078434561 @default.
- W2003131168 cites W2152834103 @default.
- W2003131168 cites W2165434002 @default.
- W2003131168 cites W2166822586 @default.
- W2003131168 cites W2211325406 @default.
- W2003131168 cites W3161373887 @default.
- W2003131168 doi "https://doi.org/10.1007/3-540-50940-2_46" @default.
- W2003131168 hasPublicationYear "1989" @default.
- W2003131168 type Work @default.
- W2003131168 sameAs 2003131168 @default.
- W2003131168 citedByCount "27" @default.
- W2003131168 countsByYear W20031311682012 @default.
- W2003131168 countsByYear W20031311682020 @default.
- W2003131168 crossrefType "book-chapter" @default.
- W2003131168 hasAuthorship W2003131168A5021476649 @default.
- W2003131168 hasAuthorship W2003131168A5022585138 @default.
- W2003131168 hasBestOaLocation W20031311681 @default.
- W2003131168 hasConcept C138885662 @default.
- W2003131168 hasConcept C142998047 @default.
- W2003131168 hasConcept C17744445 @default.
- W2003131168 hasConcept C199360897 @default.
- W2003131168 hasConcept C199539241 @default.
- W2003131168 hasConcept C204321447 @default.
- W2003131168 hasConcept C2776359362 @default.
- W2003131168 hasConcept C41008148 @default.
- W2003131168 hasConcept C41895202 @default.
- W2003131168 hasConcept C42383842 @default.
- W2003131168 hasConcept C94625758 @default.
- W2003131168 hasConceptScore W2003131168C138885662 @default.
- W2003131168 hasConceptScore W2003131168C142998047 @default.
- W2003131168 hasConceptScore W2003131168C17744445 @default.
- W2003131168 hasConceptScore W2003131168C199360897 @default.
- W2003131168 hasConceptScore W2003131168C199539241 @default.
- W2003131168 hasConceptScore W2003131168C204321447 @default.
- W2003131168 hasConceptScore W2003131168C2776359362 @default.
- W2003131168 hasConceptScore W2003131168C41008148 @default.
- W2003131168 hasConceptScore W2003131168C41895202 @default.
- W2003131168 hasConceptScore W2003131168C42383842 @default.
- W2003131168 hasConceptScore W2003131168C94625758 @default.
- W2003131168 hasLocation W20031311681 @default.
- W2003131168 hasLocation W20031311682 @default.
- W2003131168 hasOpenAccess W2003131168 @default.
- W2003131168 hasPrimaryLocation W20031311681 @default.
- W2003131168 hasRelatedWork W1587224678 @default.
- W2003131168 hasRelatedWork W1601811574 @default.
- W2003131168 hasRelatedWork W1968726487 @default.
- W2003131168 hasRelatedWork W2027798793 @default.
- W2003131168 hasRelatedWork W2077959777 @default.
- W2003131168 hasRelatedWork W2087060298 @default.
- W2003131168 hasRelatedWork W2102843952 @default.
- W2003131168 hasRelatedWork W2140349194 @default.
- W2003131168 hasRelatedWork W2400450208 @default.
- W2003131168 hasRelatedWork W3157866078 @default.
- W2003131168 isParatext "false" @default.
- W2003131168 isRetracted "false" @default.
- W2003131168 magId "2003131168" @default.
- W2003131168 workType "book-chapter" @default.