Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079002885> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2079002885 endingPage "172" @default.
- W2079002885 startingPage "157" @default.
- W2079002885 abstract "Abstract One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A ≤ B are interpreted via conversion functions A → B . This paper shows how to extend the method to languages with computational effects, using Moggi's computational metalanguage." @default.
- W2079002885 created "2016-06-24" @default.
- W2079002885 creator A5062310143 @default.
- W2079002885 date "2009-03-01" @default.
- W2079002885 modified "2023-09-27" @default.
- W2079002885 title "Coherence of subsumption for monadic types" @default.
- W2079002885 cites W1604851874 @default.
- W2079002885 cites W1966663897 @default.
- W2079002885 cites W1997143185 @default.
- W2079002885 cites W2001674045 @default.
- W2079002885 cites W2020589020 @default.
- W2079002885 cites W2022518532 @default.
- W2079002885 cites W2105126759 @default.
- W2079002885 cites W2144778998 @default.
- W2079002885 cites W2167231542 @default.
- W2079002885 cites W2173184982 @default.
- W2079002885 cites W32825566 @default.
- W2079002885 doi "https://doi.org/10.1017/s0956796808006886" @default.
- W2079002885 hasPublicationYear "2009" @default.
- W2079002885 type Work @default.
- W2079002885 sameAs 2079002885 @default.
- W2079002885 citedByCount "3" @default.
- W2079002885 countsByYear W20790028852017 @default.
- W2079002885 countsByYear W20790028852019 @default.
- W2079002885 countsByYear W20790028852020 @default.
- W2079002885 crossrefType "journal-article" @default.
- W2079002885 hasAuthorship W2079002885A5062310143 @default.
- W2079002885 hasBestOaLocation W20790028851 @default.
- W2079002885 hasConcept C104317684 @default.
- W2079002885 hasConcept C105580179 @default.
- W2079002885 hasConcept C105795698 @default.
- W2079002885 hasConcept C142998047 @default.
- W2079002885 hasConcept C149364088 @default.
- W2079002885 hasConcept C154945302 @default.
- W2079002885 hasConcept C184337299 @default.
- W2079002885 hasConcept C185592680 @default.
- W2079002885 hasConcept C199360897 @default.
- W2079002885 hasConcept C2781181686 @default.
- W2079002885 hasConcept C33923547 @default.
- W2079002885 hasConcept C41008148 @default.
- W2079002885 hasConcept C55493867 @default.
- W2079002885 hasConcept C83852419 @default.
- W2079002885 hasConceptScore W2079002885C104317684 @default.
- W2079002885 hasConceptScore W2079002885C105580179 @default.
- W2079002885 hasConceptScore W2079002885C105795698 @default.
- W2079002885 hasConceptScore W2079002885C142998047 @default.
- W2079002885 hasConceptScore W2079002885C149364088 @default.
- W2079002885 hasConceptScore W2079002885C154945302 @default.
- W2079002885 hasConceptScore W2079002885C184337299 @default.
- W2079002885 hasConceptScore W2079002885C185592680 @default.
- W2079002885 hasConceptScore W2079002885C199360897 @default.
- W2079002885 hasConceptScore W2079002885C2781181686 @default.
- W2079002885 hasConceptScore W2079002885C33923547 @default.
- W2079002885 hasConceptScore W2079002885C41008148 @default.
- W2079002885 hasConceptScore W2079002885C55493867 @default.
- W2079002885 hasConceptScore W2079002885C83852419 @default.
- W2079002885 hasIssue "2" @default.
- W2079002885 hasLocation W20790028851 @default.
- W2079002885 hasOpenAccess W2079002885 @default.
- W2079002885 hasPrimaryLocation W20790028851 @default.
- W2079002885 hasRelatedWork W135120204 @default.
- W2079002885 hasRelatedWork W1483213041 @default.
- W2079002885 hasRelatedWork W1587224678 @default.
- W2079002885 hasRelatedWork W1778728081 @default.
- W2079002885 hasRelatedWork W1981572083 @default.
- W2079002885 hasRelatedWork W2056977125 @default.
- W2079002885 hasRelatedWork W2090686886 @default.
- W2079002885 hasRelatedWork W27605384 @default.
- W2079002885 hasRelatedWork W4243252198 @default.
- W2079002885 hasRelatedWork W1894736207 @default.
- W2079002885 hasVolume "19" @default.
- W2079002885 isParatext "false" @default.
- W2079002885 isRetracted "false" @default.
- W2079002885 magId "2079002885" @default.
- W2079002885 workType "article" @default.