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/data/10/MadsenPH23.nt
. . . . "Magnus Madsen et al.: Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). (2023)" . . _:ID_6f58bc814d4be271bd027faf81036df2 . _:ID_6f58bc814d4be271bd027faf81036df2 . _:ID_6f58bc814d4be271bd027faf81036df2 . _:ID_6f58bc814d4be271bd027faf81036df2 . _:ID_6f58bc814d4be271bd027faf81036df2 "data/10/MadsenPH23" . _:ID_113ca8d12b4d0e6e78e4efbe6c7af816 . _:ID_113ca8d12b4d0e6e78e4efbe6c7af816 . _:ID_113ca8d12b4d0e6e78e4efbe6c7af816 . _:ID_113ca8d12b4d0e6e78e4efbe6c7af816 . _:ID_113ca8d12b4d0e6e78e4efbe6c7af816 "10.5281/ZENODO.8143171" . "Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)." . . . . . . . . "3"^^ . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 "Magnus Madsen" . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 "1"^^ . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_1 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 "Jaco van de Pol" . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 "2"^^ . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_2 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 "Troels Henriksen" . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 "3"^^ . _:Sig_85ccd43e9d0567b5d376976cd0bcf336_3 . . . . "2023"^^ . "--07"^^ . "Zenodo" . . _:Ver_9e0b9bfbb9138aaa4583044fa55a75e5 . _:Ver_9e0b9bfbb9138aaa4583044fa55a75e5 . _:Ver_9e0b9bfbb9138aaa4583044fa55a75e5 . _:Ver_9e0b9bfbb9138aaa4583044fa55a75e5 . _:Ver_9e0b9bfbb9138aaa4583044fa55a75e5 . _:Ver_9e0b9bfbb9138aaa4583044fa55a75e5 "Version 2" . _:Ver_9e0b9bfbb9138aaa4583044fa55a75e5 "1"^^ . "provenance information for RDF data of dblp record 'data/10/MadsenPH23'" . . . . "2024-12-12T12:05:48+0100" .