{"id":"https://openalex.org/W436766599","doi":null,"title":"Alcool-90. Typage de la surcharge dans un langage fonctionnel","display_name":"Alcool-90. Typage de la surcharge dans un langage fonctionnel","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W436766599","mag":"436766599"},"language":"fr","primary_location":{"id":"pmh:hdl:10068/44286","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/44286","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10068/44286","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039836615","display_name":"Fran\u00e7ois Rouaix","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fran\u00e7ois Rouaix","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5039836615"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/function-overloading","display_name":"function overloading","score":0.6539999842643738},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.6010000109672546},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.9929999709129333},{"id":"https://openalex.org/keywords/abstract-data-types","display_name":"abstract data types","score":0.8519999980926514},{"id":"https://openalex.org/keywords/reusable-software-components","display_name":"reusable components","score":0.7450000047683716},{"id":"https://openalex.org/keywords/centaurs","display_name":"centaurs","score":0.32600000500679016},{"id":"https://openalex.org/keywords/functional-programming-languages","display_name":"functional programming languages","score":0.43299999833106995}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.7936331033706665},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.4336045980453491}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:hdl:10068/44286","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/44286","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"mag:436766599","doi":null,"is_oa":false,"landing_page_url":"http://www.theses.fr/1990PA077220","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:hdl:10068/44286","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/44286","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W601110824","https://openalex.org/W7045079683","https://openalex.org/W2773004970","https://openalex.org/W35324751","https://openalex.org/W7097264413","https://openalex.org/W2803148947","https://openalex.org/W423128984","https://openalex.org/W7104452437","https://openalex.org/W2765119911","https://openalex.org/W169817948"],"abstract_inverted_index":{"Le":[0,136],"developpement":[1],"de":[2,22,30,53,68,71,81,89,91,103,129,149,168,175,199,203],"gros":[3],"logiciels":[4,38],"(par":[5],"exemple":[6],"centaur":[7],"et":[8,32,98,126,146,180,193],"son":[9],"composant":[10],"central,":[11],"le":[12,141],"vtp-virtual":[13],"tree":[14],"processor-),":[15],"a":[16,64,124,143,190],"mis":[17],"en":[18,41],"evidence":[19],"la":[20,108,121,144,181],"necessite":[21],"fournir":[23],"au":[24],"programmeur":[25],"des":[26,34,44,47,157,166],"outils":[27],"lui":[28],"permettant":[29],"concevoir":[31],"d'ecrire":[33],"programmes":[35],"ou":[36,70],"composants":[37],"reutilisables,":[39],"donc":[40],"particulier":[42],"independants":[43],"representations":[45],"internes":[46],"donnees.":[48],"Il":[49],"est":[50,138,194],"aussi":[51],"important":[52],"verifier":[54],"que":[55],"l'execution":[56,125],"d'un":[57,117,127],"programme":[58],"se":[59],"deroulera":[60],"sans":[61],"erreurs":[62],"dues":[63],"une":[65,114],"mauvaise":[66],"utilisation":[67],"donnees":[69,152],"fonctions.":[72],"Nous":[73,111],"commencerons":[74],"par":[75,155],"etudier":[76],"les":[77,87,101,197],"approches":[78],"deja":[79],"existantes":[80],"ces":[82,169],"problemes,":[83],"avec":[84],"d'une":[85],"part":[86,100],"techniques":[88],"programmation":[90,176,204],"haut":[92],"niveau":[93],"(programmation":[94],"orientee-objet,":[95],"types":[96,104,130],"abstraits),":[97],"d'autre":[99],"systemes":[102],"correspondants":[105],"qui":[106,131,159],"assurent":[107],"securite":[109,134],"d'execution.":[110,135],"proposons":[112],"ensuite":[113],"formalisation":[115],"composee":[116],"langage":[118],"fonctionnel":[119],"autorisant":[120],"surcharge":[122,165],"resolue":[123],"systeme":[128],"assure":[132],"sa":[133],"typage":[137],"base":[139,177],"sur":[140,178],"polymorphisme":[142],"ml,":[145],"autorise":[147],"l'inference":[148],"types.":[150],"Les":[151],"sont":[153],"caracterisees":[154],"l'ensemble":[156],"primitives":[158,170],"peuvent":[160],"leur":[161],"etre":[162],"appliquees.":[163],"La":[164],"noms":[167],"permet":[171],"alors":[172],"un":[173],"style":[174,202],"l'abstraction":[179],"factorisation":[182],"d'algorithmes.":[183],"Un":[184],"prototype":[185],"du":[186,201],"langage,":[187],"baptise":[188],"alcool-90,":[189],"ete":[191],"realise,":[192],"utilise":[195],"dans":[196],"exemples":[198],"demonstration":[200]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}