FRINK Linked Data Fragments server

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

• W49278424 abstract "Le typage statique avec types polymorphes, comme dans le langage ML, s'adapte parfaitement aux langages purement applicatifs, leur apportant souplesse et expressivite. Mais il ne s'etend pas naturellement au trait principal des langages algorithmiques: la modification en place des structures de donnees. Des difficultes de typage similaires apparaissent avec d'autres extensions des langages applicatifs: les variables logiques, la communication inter-processus a travers des canaux, et la manipulation de continuations en tant que valeurs. Ce travail etudie, dans le cadre de la semantique relationnelle, deux nouvelles approches du typage polymorphe de ces constructions non-applicatives. La premiere repose sur une restriction de l'operation de generalisation des types (la notion de variables dangereuses), et sur un typage plus fin des valeurs fonctionnelles (le typage des fermetures). Le systeme de types obtenu reste compatible avec le noyau applicatif de ML, et se revele etre le plus expressif parmi les systemes de types pour ML plus traits imperatifs proposes jusqu'ici. La seconde approche repose sur l'adoption d'une semantique ``par nom'' pour les constructions du polymorphisme, au lieu de la semantique ``par valeur'' usuelle. Le langage obtenu s'ecarte de ML, mais se type tres simplement avec du polymorphisme. Les deux approches rendent possible l'interaction sans heurts entre les traits non-applicatifs et le typage polymorphe." @default.
• W49278424 created "2016-06-24" @default.
• W49278424 creator A5058330133 @default.
• W49278424 date "1992-06-12" @default.
• W49278424 modified "2023-09-26" @default.
• W49278424 title "Typage polymorphe d'un langage algorithmique" @default.
• W49278424 cites W1484366641 @default.
• W49278424 cites W1503871268 @default.
• W49278424 cites W1532487911 @default.
• W49278424 cites W1534508664 @default.
• W49278424 cites W1535347731 @default.
• W49278424 cites W1543641760 @default.
• W49278424 cites W1543822988 @default.
• W49278424 cites W1549804464 @default.
• W49278424 cites W1571962375 @default.
• W49278424 cites W1580664042 @default.
• W49278424 cites W1594305722 @default.
• W49278424 cites W1597755753 @default.
• W49278424 cites W167771324 @default.
• W49278424 cites W1703087989 @default.
• W49278424 cites W1705071368 @default.
• W49278424 cites W1963658586 @default.
• W49278424 cites W1965724121 @default.
• W49278424 cites W1968889995 @default.
• W49278424 cites W1969093922 @default.
• W49278424 cites W1989806327 @default.
• W49278424 cites W2010525351 @default.
• W49278424 cites W2015256273 @default.
• W49278424 cites W2017381819 @default.
• W49278424 cites W2027657506 @default.
• W49278424 cites W2028613837 @default.
• W49278424 cites W2034609032 @default.
• W49278424 cites W2046137117 @default.
• W49278424 cites W2047869411 @default.
• W49278424 cites W2048921878 @default.
• W49278424 cites W2049641148 @default.
• W49278424 cites W2054299141 @default.
• W49278424 cites W2071095465 @default.
• W49278424 cites W2083697466 @default.
• W49278424 cites W2090415524 @default.
• W49278424 cites W2091769084 @default.
• W49278424 cites W2099305192 @default.
• W49278424 cites W2100738443 @default.
• W49278424 cites W2102699068 @default.
• W49278424 cites W2110135416 @default.
• W49278424 cites W2112920894 @default.
• W49278424 cites W2113757735 @default.
• W49278424 cites W2115847338 @default.
• W49278424 cites W2132750992 @default.
• W49278424 cites W2133472914 @default.
• W49278424 cites W2134112335 @default.
• W49278424 cites W2134119432 @default.
• W49278424 cites W2151156765 @default.
• W49278424 cites W2151384546 @default.
• W49278424 cites W2154294048 @default.
• W49278424 cites W2163976959 @default.
• W49278424 cites W2166822586 @default.
• W49278424 cites W2168529278 @default.
• W49278424 cites W2169761811 @default.
• W49278424 cites W2264491443 @default.
• W49278424 cites W2294530123 @default.
• W49278424 cites W2954324727 @default.
• W49278424 cites W3144368627 @default.
• W49278424 cites W3145454088 @default.
• W49278424 cites W356955902 @default.
• W49278424 cites W423128984 @default.
• W49278424 cites W436766599 @default.
• W49278424 cites W67134903 @default.
• W49278424 cites W2793520478 @default.
• W49278424 hasPublicationYear "1992" @default.
• W49278424 type Work @default.
• W49278424 sameAs 49278424 @default.
• W49278424 citedByCount "4" @default.
• W49278424 crossrefType "dissertation" @default.
• W49278424 hasAuthorship W49278424A5058330133 @default.
• W49278424 hasConcept C138885662 @default.
• W49278424 hasConcept C15708023 @default.
• W49278424 hasConcept C33923547 @default.
• W49278424 hasConceptScore W49278424C138885662 @default.
• W49278424 hasConceptScore W49278424C15708023 @default.
• W49278424 hasConceptScore W49278424C33923547 @default.
• W49278424 hasLocation W492784241 @default.
• W49278424 hasOpenAccess W49278424 @default.
• W49278424 hasPrimaryLocation W492784241 @default.
• W49278424 hasRelatedWork W1829244603 @default.
• W49278424 hasRelatedWork W1980939032 @default.
• W49278424 hasRelatedWork W2112920894 @default.
• W49278424 hasRelatedWork W2118068787 @default.
• W49278424 hasRelatedWork W2138875086 @default.
• W49278424 hasRelatedWork W2151156765 @default.
• W49278424 hasRelatedWork W2166822586 @default.
• W49278424 isParatext "false" @default.
• W49278424 isRetracted "false" @default.
• W49278424 magId "49278424" @default.
• W49278424 workType "dissertation" @default.