Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896323754> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2896323754 abstract "The Geometry of Interaction (goi) has its origins in logic, but many of its recent applications concern the interpretation and analysis of functional programming languages. Applications range from hardware synthesis to quantum computation. In this paper we argue that for such programming-language applications it is useful to understand the goi as a module system. We derive an ML-style module system from the structure of the particle-style goi. This provides a convenient, familiar formalism for working with the goi that abstracts from inessential implementation details. The relation between the goi and the proposed module system is established by a linear version of the F-ing modules elaboration of Rossberg, Russo and Dreyer. It uses a new decomposition of the exponential rules of Linear Logic as the basis for syntax-directed type inference that minimises the scope of exponentials." @default.
- W2896323754 created "2018-10-26" @default.
- W2896323754 creator A5082258374 @default.
- W2896323754 date "2018-01-01" @default.
- W2896323754 modified "2023-09-27" @default.
- W2896323754 title "Particle-Style Geometry of Interaction as a Module System" @default.
- W2896323754 cites W1409627819 @default.
- W2896323754 cites W2023801367 @default.
- W2896323754 cites W2048569219 @default.
- W2896323754 cites W2096885339 @default.
- W2896323754 cites W2110196404 @default.
- W2896323754 cites W2124146342 @default.
- W2896323754 cites W2127600624 @default.
- W2896323754 cites W2150548943 @default.
- W2896323754 cites W2166666657 @default.
- W2896323754 cites W2186736595 @default.
- W2896323754 cites W2404181034 @default.
- W2896323754 cites W2762773763 @default.
- W2896323754 cites W2781213257 @default.
- W2896323754 cites W2911865844 @default.
- W2896323754 cites W348923616 @default.
- W2896323754 cites W4238692953 @default.
- W2896323754 cites W4247444363 @default.
- W2896323754 doi "https://doi.org/10.1007/978-3-030-02768-1_12" @default.
- W2896323754 hasPublicationYear "2018" @default.
- W2896323754 type Work @default.
- W2896323754 sameAs 2896323754 @default.
- W2896323754 citedByCount "0" @default.
- W2896323754 crossrefType "book-chapter" @default.
- W2896323754 hasAuthorship W2896323754A5082258374 @default.
- W2896323754 hasConcept C11413529 @default.
- W2896323754 hasConcept C114408938 @default.
- W2896323754 hasConcept C128838566 @default.
- W2896323754 hasConcept C136119220 @default.
- W2896323754 hasConcept C154945302 @default.
- W2896323754 hasConcept C199360897 @default.
- W2896323754 hasConcept C202444582 @default.
- W2896323754 hasConcept C2778012447 @default.
- W2896323754 hasConcept C28077239 @default.
- W2896323754 hasConcept C33923547 @default.
- W2896323754 hasConcept C41008148 @default.
- W2896323754 hasConcept C60048249 @default.
- W2896323754 hasConcept C80444323 @default.
- W2896323754 hasConceptScore W2896323754C11413529 @default.
- W2896323754 hasConceptScore W2896323754C114408938 @default.
- W2896323754 hasConceptScore W2896323754C128838566 @default.
- W2896323754 hasConceptScore W2896323754C136119220 @default.
- W2896323754 hasConceptScore W2896323754C154945302 @default.
- W2896323754 hasConceptScore W2896323754C199360897 @default.
- W2896323754 hasConceptScore W2896323754C202444582 @default.
- W2896323754 hasConceptScore W2896323754C2778012447 @default.
- W2896323754 hasConceptScore W2896323754C28077239 @default.
- W2896323754 hasConceptScore W2896323754C33923547 @default.
- W2896323754 hasConceptScore W2896323754C41008148 @default.
- W2896323754 hasConceptScore W2896323754C60048249 @default.
- W2896323754 hasConceptScore W2896323754C80444323 @default.
- W2896323754 hasLocation W28963237541 @default.
- W2896323754 hasOpenAccess W2896323754 @default.
- W2896323754 hasPrimaryLocation W28963237541 @default.
- W2896323754 hasRelatedWork W2807969259 @default.
- W2896323754 hasRelatedWork W3124300503 @default.
- W2896323754 hasRelatedWork W3199295391 @default.
- W2896323754 isParatext "false" @default.
- W2896323754 isRetracted "false" @default.
- W2896323754 magId "2896323754" @default.
- W2896323754 workType "book-chapter" @default.