iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/pacmpl/MadsenPH23.nt
. . . . "Magnus Madsen et al.: Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. (2023)" . . _:ID_bb1cb70e1f0b38cbd26810297ee5824c . _:ID_bb1cb70e1f0b38cbd26810297ee5824c . _:ID_bb1cb70e1f0b38cbd26810297ee5824c . _:ID_bb1cb70e1f0b38cbd26810297ee5824c . _:ID_bb1cb70e1f0b38cbd26810297ee5824c "journals/pacmpl/MadsenPH23" . _:ID_be20e718ae672ac8e565487d14beef25 . _:ID_be20e718ae672ac8e565487d14beef25 . _:ID_be20e718ae672ac8e565487d14beef25 . _:ID_be20e718ae672ac8e565487d14beef25 . _:ID_be20e718ae672ac8e565487d14beef25 "10.1145/3622816" . "Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems." . . . . . . . . "3"^^ . _:Sig_575bca382f51360f6ea723538f2b7f90_1 . _:Sig_575bca382f51360f6ea723538f2b7f90_1 . _:Sig_575bca382f51360f6ea723538f2b7f90_1 . _:Sig_575bca382f51360f6ea723538f2b7f90_1 "Magnus Madsen" . _:Sig_575bca382f51360f6ea723538f2b7f90_1 . _:Sig_575bca382f51360f6ea723538f2b7f90_1 . _:Sig_575bca382f51360f6ea723538f2b7f90_1 "1"^^ . _:Sig_575bca382f51360f6ea723538f2b7f90_1 . _:Sig_575bca382f51360f6ea723538f2b7f90_2 . _:Sig_575bca382f51360f6ea723538f2b7f90_2 . _:Sig_575bca382f51360f6ea723538f2b7f90_2 . _:Sig_575bca382f51360f6ea723538f2b7f90_2 "Jaco van de Pol" . _:Sig_575bca382f51360f6ea723538f2b7f90_2 . _:Sig_575bca382f51360f6ea723538f2b7f90_2 . _:Sig_575bca382f51360f6ea723538f2b7f90_2 "2"^^ . _:Sig_575bca382f51360f6ea723538f2b7f90_2 . _:Sig_575bca382f51360f6ea723538f2b7f90_3 . _:Sig_575bca382f51360f6ea723538f2b7f90_3 . _:Sig_575bca382f51360f6ea723538f2b7f90_3 . _:Sig_575bca382f51360f6ea723538f2b7f90_3 "Troels Henriksen" . _:Sig_575bca382f51360f6ea723538f2b7f90_3 . _:Sig_575bca382f51360f6ea723538f2b7f90_3 . _:Sig_575bca382f51360f6ea723538f2b7f90_3 "3"^^ . _:Sig_575bca382f51360f6ea723538f2b7f90_3 . . . . . "516-543" . "Proc. ACM Program. Lang." . "Proc. ACM Program. Lang." . "7" . "OOPSLA2" . "2023"^^ . "--10"^^ . "provenance information for RDF data of dblp record 'journals/pacmpl/MadsenPH23'" . . . . "2023-12-10T17:01:16+0100" .