@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00954364v1> a dcat:Dataset ;
    dct:description """
              Deadlock freedom is for concurrent programs what progress is for sequential ones: it indicates the absence of stable (i.e., irreducible) states in which some pending operations cannot be completed. In the particular case of communicating processes, operations are inputs and outputs on channels and deadlocks may be caused by mutual dependencies between communications. In this work we define an effect system ensuring deadlock freedom of higher-order programs that communicate over linear channels and study its integration with polymorphic and recursive types.
            """ ;
    dct:identifier "hal-00954364" ;
    dct:issued "2026-05-06T04:21:25.349044"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-06T04:21:25.349048"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Types for Deadlock-Free Higher-Order Concurrent Programs" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00954364v1/resource/0026ae6e-d7ec-4e5c-9fbf-ccb6a0c31f3f> ;
    dcat:keyword "acm-d-softwared3-programming-languagesd33-language-constructs-and-featuresd332-concur",
        "acm-f-theory-of-computationf3-logics-and-meanings-of-programsf33-studies-of-program-constr",
        "deadlock-freedom",
        "infoeu-reposemanticspreprint",
        "infoinfo-plcomputer-science-csprogramming-languages-cspl",
        "linear-channels",
        "preprints-working-papers-",
        "types-and-effects" ;
    dcat:landingPage <https://inria.hal.science/hal-00954364> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00954364v1/resource/0026ae6e-d7ec-4e5c-9fbf-ccb6a0c31f3f> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-06T04:21:25.351008"^^xsd:dateTime ;
    dct:modified "2026-05-06T04:21:25.333261"^^xsd:dateTime ;
    dct:title "Types for Deadlock-Free Higher-Order Concurrent Programs" ;
    dcat:accessURL <https://inria.hal.science/hal-00954364> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://inria.hal.science/hal-00954364> a foaf:Document .