Matches in SemOpenAlex for { <https://semopenalex.org/work/W2212578036> ?p ?o ?g. }
- W2212578036 abstract "This thesis explains how the adjunction of three features to System Fω allows writing programs in a modular way in an explicit system a la Church, while keeping a style that is similar to ML modules. The first chapter focuses on open existential types, which provide a way to consider existential types without scope restrictions: they permit to organize programs in a more flexible manner. The second chapter is devoted to the study of singleton kinds, which model type definitions: in this framework, we give a simple characterization of type equivalence, that is based on a confluent and strongly normalizing reduction relation. The last chapter integrates the two previous notions into a core language equipped with a subtyping relation: it greatly improves the modularity of Fω to a level that is comparable with the flexibility of ML modules. A translation from modules to this core language is defined, and is used to precisely compare the two languages." @default.
- W2212578036 created "2016-06-24" @default.
- W2212578036 creator A5019942303 @default.
- W2212578036 date "2010-12-15" @default.
- W2212578036 modified "2023-09-25" @default.
- W2212578036 title "Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types" @default.
- W2212578036 cites W102505110 @default.
- W2212578036 cites W1483170865 @default.
- W2212578036 cites W1510403819 @default.
- W2212578036 cites W1525829790 @default.
- W2212578036 cites W1534678063 @default.
- W2212578036 cites W1538111255 @default.
- W2212578036 cites W1541185175 @default.
- W2212578036 cites W1546727036 @default.
- W2212578036 cites W1561824685 @default.
- W2212578036 cites W1563667006 @default.
- W2212578036 cites W1567587382 @default.
- W2212578036 cites W1577182889 @default.
- W2212578036 cites W1581498582 @default.
- W2212578036 cites W1582688644 @default.
- W2212578036 cites W159715351 @default.
- W2212578036 cites W1597824249 @default.
- W2212578036 cites W1802897460 @default.
- W2212578036 cites W1907069005 @default.
- W2212578036 cites W1970031091 @default.
- W2212578036 cites W1979366339 @default.
- W2212578036 cites W1980302687 @default.
- W2212578036 cites W1980939032 @default.
- W2212578036 cites W1983077483 @default.
- W2212578036 cites W1987755707 @default.
- W2212578036 cites W1989916808 @default.
- W2212578036 cites W1992889841 @default.
- W2212578036 cites W2016850380 @default.
- W2212578036 cites W2018181305 @default.
- W2212578036 cites W2022373880 @default.
- W2212578036 cites W2022407453 @default.
- W2212578036 cites W2022683189 @default.
- W2212578036 cites W2025431400 @default.
- W2212578036 cites W2027657506 @default.
- W2212578036 cites W2043261859 @default.
- W2212578036 cites W2053070172 @default.
- W2212578036 cites W2058193465 @default.
- W2212578036 cites W2059914072 @default.
- W2212578036 cites W2060029146 @default.
- W2212578036 cites W2083331063 @default.
- W2212578036 cites W2096529083 @default.
- W2212578036 cites W2104204098 @default.
- W2212578036 cites W2121993468 @default.
- W2212578036 cites W2125422552 @default.
- W2212578036 cites W2125690388 @default.
- W2212578036 cites W2127600624 @default.
- W2212578036 cites W2127818463 @default.
- W2212578036 cites W2133171398 @default.
- W2212578036 cites W2133639043 @default.
- W2212578036 cites W2138130168 @default.
- W2212578036 cites W2145945984 @default.
- W2212578036 cites W2161017670 @default.
- W2212578036 cites W2164520529 @default.
- W2212578036 cites W2165264979 @default.
- W2212578036 cites W2166039230 @default.
- W2212578036 cites W2167017930 @default.
- W2212578036 cites W2217383439 @default.
- W2212578036 cites W326743114 @default.
- W2212578036 cites W402789711 @default.
- W2212578036 cites W80198721 @default.
- W2212578036 cites W1601172364 @default.
- W2212578036 hasPublicationYear "2010" @default.
- W2212578036 type Work @default.
- W2212578036 sameAs 2212578036 @default.
- W2212578036 citedByCount "0" @default.
- W2212578036 crossrefType "dissertation" @default.
- W2212578036 hasAuthorship W2212578036A5019942303 @default.
- W2212578036 hasConcept C111472728 @default.
- W2212578036 hasConcept C117354338 @default.
- W2212578036 hasConcept C127882523 @default.
- W2212578036 hasConcept C138885662 @default.
- W2212578036 hasConcept C154945302 @default.
- W2212578036 hasConcept C18903297 @default.
- W2212578036 hasConcept C199360897 @default.
- W2212578036 hasConcept C25343380 @default.
- W2212578036 hasConcept C2777212361 @default.
- W2212578036 hasConcept C2777299769 @default.
- W2212578036 hasConcept C2779234561 @default.
- W2212578036 hasConcept C2779478453 @default.
- W2212578036 hasConcept C33923547 @default.
- W2212578036 hasConcept C41008148 @default.
- W2212578036 hasConcept C44779574 @default.
- W2212578036 hasConcept C54355233 @default.
- W2212578036 hasConcept C77088390 @default.
- W2212578036 hasConcept C83852419 @default.
- W2212578036 hasConcept C86803240 @default.
- W2212578036 hasConceptScore W2212578036C111472728 @default.
- W2212578036 hasConceptScore W2212578036C117354338 @default.
- W2212578036 hasConceptScore W2212578036C127882523 @default.
- W2212578036 hasConceptScore W2212578036C138885662 @default.
- W2212578036 hasConceptScore W2212578036C154945302 @default.
- W2212578036 hasConceptScore W2212578036C18903297 @default.
- W2212578036 hasConceptScore W2212578036C199360897 @default.
- W2212578036 hasConceptScore W2212578036C25343380 @default.
- W2212578036 hasConceptScore W2212578036C2777212361 @default.