skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Ajout de synchronisme dans les langages fonctionnels fortement typés Preview this item
ClosePreview this item
Checking...

Ajout de synchronisme dans les langages fonctionnels fortement typés

Author: Pascal Cuoq; Thérèse Accart Hardin; Université Pierre et Marie Curie (Paris / 1971-2017).
Publisher: [S.l.] : [s.n.], 2002.
Dissertation: Thèse doctorat : Informatique : Paris 6 : 2002.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : French
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Ajout de synchronisme dans les langages fonctionnels fortement typés / Pascal Cuoq
Lille : Atelier national de reproduction des thèses, 2002
Microfiches. (@Lille-Thèses)
(ABES)246766220
Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Pascal Cuoq; Thérèse Accart Hardin; Université Pierre et Marie Curie (Paris / 1971-2017).
OCLC Number: 492817611
Description: 122 p. : ill. ; 30 cm.
Responsibility: Pascal Cuoq ; sous la dir. de Thérèse Hardin.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/492817611<\/a>> # Ajout de synchronisme dans les langages fonctionnels fortement typ\u00E9s<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, schema:CreativeWork<\/a>, bgn:Thesis<\/a> ;\u00A0\u00A0\u00A0\nbgn:inSupportOf<\/a> \"Th\u00E8se doctorat : Informatique : Paris 6 : 2002.<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"492817611<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/fr<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Place\/s_l<\/a>> ; # S.l.<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langages_fonctionnels<\/a>> ; # Langages fonctionnels<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/systemes_de_types<\/a>> ; # Syst\u00E8mes de types<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langages_synchrones<\/a>> ; # Langages synchrones<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/lucid_synchrone<\/a>> ; # Lucid Synchrone<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langage_lustre<\/a>> ; # Langage Lustre<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langage_de_flots_analyse_de_causalite<\/a>> ; # Langage de flots, analyse de causalit\u00E9<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/camlp4<\/a>> ; # Camlp4<\/span>\n\u00A0\u00A0\u00A0\nschema:author<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Person\/cuoq_pascal_1975<\/a>> ; # Pascal Cuoq<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Organization\/universite_pierre_et_marie_curie_paris_1971_2017<\/a>> ; # Universit\u00E9 Pierre et Marie Curie (Paris \/ 1971-2017).<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Person\/accart_hardin_therese<\/a>> ; # Th\u00E9r\u00E8se Accart Hardin<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2002<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/367439508<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"fr<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/367439508#CreativeWork\/ajout_de_synchronisme_dans_les_langages_fonctionnels_fortement_types_pascal_cuoq<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Ajout de synchronisme dans les langages fonctionnels fortement typ\u00E9s<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\nschema:numberOfPages<\/a> \"122<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"492817611<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/492817611#PublicationEvent\/s_l_s_n_2002<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Agent\/s_n<\/a>> ; # [s.n.]<\/span>\n\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/492817611<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Agent\/s_n<\/a>> # [s.n.]<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"[s.n.]<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Organization\/universite_pierre_et_marie_curie_paris_1971_2017<\/a>> # Universit\u00E9 Pierre et Marie Curie (Paris \/ 1971-2017).<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Organization<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Universit\u00E9 Pierre et Marie Curie (Paris \/ 1971-2017).<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Person\/accart_hardin_therese<\/a>> # Th\u00E9r\u00E8se Accart Hardin<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Accart Hardin<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Th\u00E9r\u00E8se<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Th\u00E9r\u00E8se Accart Hardin<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Person\/cuoq_pascal_1975<\/a>> # Pascal Cuoq<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1975<\/span>\" ;\u00A0\u00A0\u00A0\nschema:deathDate<\/a> \"\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Cuoq<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Pascal<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Pascal Cuoq<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Place\/s_l<\/a>> # S.l.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"S.l.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/camlp4<\/a>> # Camlp4<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Camlp4<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langage_de_flots_analyse_de_causalite<\/a>> # Langage de flots, analyse de causalit\u00E9<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Langage de flots, analyse de causalit\u00E9<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langage_lustre<\/a>> # Langage Lustre<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Langage Lustre<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langages_fonctionnels<\/a>> # Langages fonctionnels<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Langages fonctionnels<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/langages_synchrones<\/a>> # Langages synchrones<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Langages synchrones<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/lucid_synchrone<\/a>> # Lucid Synchrone<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lucid Synchrone<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/367439508#Thing\/systemes_de_types<\/a>> # Syst\u00E8mes de types<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Syst\u00E8mes de types<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/fr<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"fr<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/367439508#CreativeWork\/ajout_de_synchronisme_dans_les_langages_fonctionnels_fortement_types_pascal_cuoq<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Ajout de synchronisme dans les langages fonctionnels fortement typ\u00E9s \/ Pascal Cuoq<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/492817611<\/a>> ; # Ajout de synchronisme dans les langages fonctionnels fortement typ\u00E9s<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/492817611<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/492817611<\/a>> ; # Ajout de synchronisme dans les langages fonctionnels fortement typ\u00E9s<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2020-07-20<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n