FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988177568> ?p ?o ?g. }

• W1988177568 abstract "We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of functional languages. Our main technical result is a conservative embedding of Nielson & Nielson's two-level functional language in our language Mini-ML, thus proving that binding-time correctness is equivalent to modal correctness on this fragment. In addition Mini-ML can also express immediate evaluation and sharing of code across multiple stages, thus supporting run-time code generation as well as partial evaluation." @default.
• W1988177568 created "2016-06-24" @default.
• W1988177568 creator A5021476649 @default.
• W1988177568 creator A5056295640 @default.
• W1988177568 date "1996-01-01" @default.
• W1988177568 modified "2023-10-16" @default.
• W1988177568 title "A modal analysis of staged computation" @default.
• W1988177568 cites W11600427 @default.
• W1988177568 cites W1505599641 @default.
• W1988177568 cites W1508319048 @default.
• W1988177568 cites W1548959602 @default.
• W1988177568 cites W1556604985 @default.
• W1988177568 cites W1560272532 @default.
• W1988177568 cites W1566288082 @default.
• W1988177568 cites W1596067335 @default.
• W1988177568 cites W1608933122 @default.
• W1988177568 cites W1981311833 @default.
• W1988177568 cites W1990347915 @default.
• W1988177568 cites W1997143185 @default.
• W1988177568 cites W1999500280 @default.
• W1988177568 cites W2011669306 @default.
• W1988177568 cites W2013654056 @default.
• W1988177568 cites W2015256273 @default.
• W1988177568 cites W2021951417 @default.
• W1988177568 cites W2023132547 @default.
• W1988177568 cites W2070324762 @default.
• W1988177568 cites W2073378225 @default.
• W1988177568 cites W2078434561 @default.
• W1988177568 cites W2090768444 @default.
• W1988177568 cites W2096314727 @default.
• W1988177568 cites W2101085206 @default.
• W1988177568 cites W2111443557 @default.
• W1988177568 cites W2116508343 @default.
• W1988177568 cites W2134291411 @default.
• W1988177568 cites W2142174207 @default.
• W1988177568 cites W2144747140 @default.
• W1988177568 cites W2147395854 @default.
• W1988177568 cites W2147795501 @default.
• W1988177568 cites W2156876717 @default.
• W1988177568 cites W3134140253 @default.
• W1988177568 cites W77859606 @default.
• W1988177568 cites W79478826 @default.
• W1988177568 doi "https://doi.org/10.1145/237721.237788" @default.
• W1988177568 hasPublicationYear "1996" @default.
• W1988177568 type Work @default.
• W1988177568 sameAs 1988177568 @default.
• W1988177568 citedByCount "127" @default.
• W1988177568 countsByYear W19881775682012 @default.
• W1988177568 countsByYear W19881775682013 @default.
• W1988177568 countsByYear W19881775682014 @default.
• W1988177568 countsByYear W19881775682015 @default.
• W1988177568 countsByYear W19881775682017 @default.
• W1988177568 countsByYear W19881775682018 @default.
• W1988177568 countsByYear W19881775682019 @default.
• W1988177568 countsByYear W19881775682021 @default.
• W1988177568 countsByYear W19881775682023 @default.
• W1988177568 crossrefType "proceedings-article" @default.
• W1988177568 hasAuthorship W1988177568A5021476649 @default.
• W1988177568 hasAuthorship W1988177568A5056295640 @default.
• W1988177568 hasConcept C11413529 @default.
• W1988177568 hasConcept C151730666 @default.
• W1988177568 hasConcept C154945302 @default.
• W1988177568 hasConcept C177264268 @default.
• W1988177568 hasConcept C185592680 @default.
• W1988177568 hasConcept C188027245 @default.
• W1988177568 hasConcept C199360897 @default.
• W1988177568 hasConcept C27508121 @default.
• W1988177568 hasConcept C2776235265 @default.
• W1988177568 hasConcept C2776760102 @default.
• W1988177568 hasConcept C2779343474 @default.
• W1988177568 hasConcept C41008148 @default.
• W1988177568 hasConcept C41608201 @default.
• W1988177568 hasConcept C42383842 @default.
• W1988177568 hasConcept C45374587 @default.
• W1988177568 hasConcept C55439883 @default.
• W1988177568 hasConcept C71139939 @default.
• W1988177568 hasConcept C80444323 @default.
• W1988177568 hasConcept C86803240 @default.
• W1988177568 hasConceptScore W1988177568C11413529 @default.
• W1988177568 hasConceptScore W1988177568C151730666 @default.
• W1988177568 hasConceptScore W1988177568C154945302 @default.
• W1988177568 hasConceptScore W1988177568C177264268 @default.
• W1988177568 hasConceptScore W1988177568C185592680 @default.
• W1988177568 hasConceptScore W1988177568C188027245 @default.
• W1988177568 hasConceptScore W1988177568C199360897 @default.
• W1988177568 hasConceptScore W1988177568C27508121 @default.
• W1988177568 hasConceptScore W1988177568C2776235265 @default.
• W1988177568 hasConceptScore W1988177568C2776760102 @default.
• W1988177568 hasConceptScore W1988177568C2779343474 @default.
• W1988177568 hasConceptScore W1988177568C41008148 @default.
• W1988177568 hasConceptScore W1988177568C41608201 @default.
• W1988177568 hasConceptScore W1988177568C42383842 @default.
• W1988177568 hasConceptScore W1988177568C45374587 @default.
• W1988177568 hasConceptScore W1988177568C55439883 @default.
• W1988177568 hasConceptScore W1988177568C71139939 @default.
• W1988177568 hasConceptScore W1988177568C80444323 @default.
• W1988177568 hasConceptScore W1988177568C86803240 @default.
• W1988177568 hasLocation W19881775681 @default.
• W1988177568 hasOpenAccess W1988177568 @default.
• W1988177568 hasPrimaryLocation W19881775681 @default.

• next