Matches in SemOpenAlex for { <https://semopenalex.org/work/W4250008835> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4250008835 endingPage "301" @default.
- W4250008835 startingPage "301" @default.
- W4250008835 abstract "I shall present an extension of Moggi's computational metalanguage with primitives from linear logic, the enriched effect-calculus. Illustrative applications to side effects, continuations, nondeterminism and polymorphism will be considered. The talk is based on joint work with Jeff Egger and Rasmus Mogelberg." @default.
- W4250008835 created "2022-05-12" @default.
- W4250008835 creator A5037262512 @default.
- W4250008835 date "2009-01-21" @default.
- W4250008835 modified "2023-10-14" @default.
- W4250008835 title "Linear types for computational effects" @default.
- W4250008835 cites W1997143185 @default.
- W4250008835 cites W2044507549 @default.
- W4250008835 cites W2099554648 @default.
- W4250008835 cites W2128271514 @default.
- W4250008835 cites W2911865844 @default.
- W4250008835 doi "https://doi.org/10.1145/1594834.1480919" @default.
- W4250008835 hasPublicationYear "2009" @default.
- W4250008835 type Work @default.
- W4250008835 citedByCount "0" @default.
- W4250008835 crossrefType "journal-article" @default.
- W4250008835 hasAuthorship W4250008835A5037262512 @default.
- W4250008835 hasConcept C11413529 @default.
- W4250008835 hasConcept C136119220 @default.
- W4250008835 hasConcept C142998047 @default.
- W4250008835 hasConcept C199360897 @default.
- W4250008835 hasConcept C202444582 @default.
- W4250008835 hasConcept C2778029271 @default.
- W4250008835 hasConcept C28077239 @default.
- W4250008835 hasConcept C33923547 @default.
- W4250008835 hasConcept C41008148 @default.
- W4250008835 hasConcept C80444323 @default.
- W4250008835 hasConceptScore W4250008835C11413529 @default.
- W4250008835 hasConceptScore W4250008835C136119220 @default.
- W4250008835 hasConceptScore W4250008835C142998047 @default.
- W4250008835 hasConceptScore W4250008835C199360897 @default.
- W4250008835 hasConceptScore W4250008835C202444582 @default.
- W4250008835 hasConceptScore W4250008835C2778029271 @default.
- W4250008835 hasConceptScore W4250008835C28077239 @default.
- W4250008835 hasConceptScore W4250008835C33923547 @default.
- W4250008835 hasConceptScore W4250008835C41008148 @default.
- W4250008835 hasConceptScore W4250008835C80444323 @default.
- W4250008835 hasIssue "1" @default.
- W4250008835 hasLocation W42500088351 @default.
- W4250008835 hasOpenAccess W4250008835 @default.
- W4250008835 hasPrimaryLocation W42500088351 @default.
- W4250008835 hasRelatedWork W2112962394 @default.
- W4250008835 hasRelatedWork W2118300983 @default.
- W4250008835 hasRelatedWork W2166247150 @default.
- W4250008835 hasRelatedWork W2352495365 @default.
- W4250008835 hasRelatedWork W2382501300 @default.
- W4250008835 hasRelatedWork W3137189469 @default.
- W4250008835 hasRelatedWork W3162240892 @default.
- W4250008835 hasRelatedWork W4235530921 @default.
- W4250008835 hasRelatedWork W4243252198 @default.
- W4250008835 hasRelatedWork W4245713008 @default.
- W4250008835 hasVolume "44" @default.
- W4250008835 isParatext "false" @default.
- W4250008835 isRetracted "false" @default.
- W4250008835 workType "article" @default.