Matches in SemOpenAlex for { <https://semopenalex.org/work/W1679133098> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1679133098 endingPage "207" @default.
- W1679133098 startingPage "193" @default.
- W1679133098 abstract "MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme. Thus it provides special support for writing code generators and serves as a semanticallysound basis for systems involving multiple interdependent computational stages. In previous work, we reported on an implementation of MetaML, and on a reduction semantics and type-system for MetaML. In this paper, we present An Idealized MetaML (AIM) that is the result of our study of a categorical model for MetaML. An important outstanding problem is finding a type system that provides the user with a means for manipulating both open and closed code. This problem has eluded efforts by us and other researchers for over three years. AIM solves the issue by providing two type constructors, one classifies closed code and the other open code, and exploiting the way they interact. We point out that AIM can be verbose, and outline a possible remedy relating to the strictness of the closed code type." @default.
- W1679133098 created "2016-06-24" @default.
- W1679133098 creator A5008976751 @default.
- W1679133098 creator A5018738393 @default.
- W1679133098 creator A5037045073 @default.
- W1679133098 creator A5060518986 @default.
- W1679133098 date "1999-01-01" @default.
- W1679133098 modified "2023-10-17" @default.
- W1679133098 title "An Idealized MetaML: Simpler, and More Expressive" @default.
- W1679133098 cites W1555037657 @default.
- W1679133098 cites W1555697857 @default.
- W1679133098 cites W1608933122 @default.
- W1679133098 cites W1679133098 @default.
- W1679133098 cites W1983574485 @default.
- W1679133098 cites W1988177568 @default.
- W1679133098 cites W2073378225 @default.
- W1679133098 cites W2096314727 @default.
- W1679133098 cites W2134291411 @default.
- W1679133098 cites W2159591963 @default.
- W1679133098 cites W4205650259 @default.
- W1679133098 doi "https://doi.org/10.1007/3-540-49099-x_13" @default.
- W1679133098 hasPublicationYear "1999" @default.
- W1679133098 type Work @default.
- W1679133098 sameAs 1679133098 @default.
- W1679133098 citedByCount "64" @default.
- W1679133098 countsByYear W16791330982012 @default.
- W1679133098 countsByYear W16791330982013 @default.
- W1679133098 countsByYear W16791330982014 @default.
- W1679133098 countsByYear W16791330982015 @default.
- W1679133098 countsByYear W16791330982016 @default.
- W1679133098 countsByYear W16791330982017 @default.
- W1679133098 countsByYear W16791330982019 @default.
- W1679133098 crossrefType "book-chapter" @default.
- W1679133098 hasAuthorship W1679133098A5008976751 @default.
- W1679133098 hasAuthorship W1679133098A5018738393 @default.
- W1679133098 hasAuthorship W1679133098A5037045073 @default.
- W1679133098 hasAuthorship W1679133098A5060518986 @default.
- W1679133098 hasBestOaLocation W16791330981 @default.
- W1679133098 hasConcept C133162039 @default.
- W1679133098 hasConcept C134306372 @default.
- W1679133098 hasConcept C177264268 @default.
- W1679133098 hasConcept C184337299 @default.
- W1679133098 hasConcept C18903297 @default.
- W1679133098 hasConcept C199360897 @default.
- W1679133098 hasConcept C2524010 @default.
- W1679133098 hasConcept C26517878 @default.
- W1679133098 hasConcept C2776760102 @default.
- W1679133098 hasConcept C2777299769 @default.
- W1679133098 hasConcept C28719098 @default.
- W1679133098 hasConcept C33923547 @default.
- W1679133098 hasConcept C38652104 @default.
- W1679133098 hasConcept C41008148 @default.
- W1679133098 hasConcept C42383842 @default.
- W1679133098 hasConcept C48859967 @default.
- W1679133098 hasConcept C77618280 @default.
- W1679133098 hasConcept C80444323 @default.
- W1679133098 hasConcept C86803240 @default.
- W1679133098 hasConceptScore W1679133098C133162039 @default.
- W1679133098 hasConceptScore W1679133098C134306372 @default.
- W1679133098 hasConceptScore W1679133098C177264268 @default.
- W1679133098 hasConceptScore W1679133098C184337299 @default.
- W1679133098 hasConceptScore W1679133098C18903297 @default.
- W1679133098 hasConceptScore W1679133098C199360897 @default.
- W1679133098 hasConceptScore W1679133098C2524010 @default.
- W1679133098 hasConceptScore W1679133098C26517878 @default.
- W1679133098 hasConceptScore W1679133098C2776760102 @default.
- W1679133098 hasConceptScore W1679133098C2777299769 @default.
- W1679133098 hasConceptScore W1679133098C28719098 @default.
- W1679133098 hasConceptScore W1679133098C33923547 @default.
- W1679133098 hasConceptScore W1679133098C38652104 @default.
- W1679133098 hasConceptScore W1679133098C41008148 @default.
- W1679133098 hasConceptScore W1679133098C42383842 @default.
- W1679133098 hasConceptScore W1679133098C48859967 @default.
- W1679133098 hasConceptScore W1679133098C77618280 @default.
- W1679133098 hasConceptScore W1679133098C80444323 @default.
- W1679133098 hasConceptScore W1679133098C86803240 @default.
- W1679133098 hasLocation W16791330981 @default.
- W1679133098 hasOpenAccess W1679133098 @default.
- W1679133098 hasPrimaryLocation W16791330981 @default.
- W1679133098 hasRelatedWork W1587224678 @default.
- W1679133098 hasRelatedWork W1601811574 @default.
- W1679133098 hasRelatedWork W2084957735 @default.
- W1679133098 hasRelatedWork W2087060298 @default.
- W1679133098 hasRelatedWork W2160620982 @default.
- W1679133098 hasRelatedWork W2519339279 @default.
- W1679133098 hasRelatedWork W283806354 @default.
- W1679133098 hasRelatedWork W3006199460 @default.
- W1679133098 hasRelatedWork W4312309273 @default.
- W1679133098 hasRelatedWork W2787105657 @default.
- W1679133098 isParatext "false" @default.
- W1679133098 isRetracted "false" @default.
- W1679133098 magId "1679133098" @default.
- W1679133098 workType "book-chapter" @default.