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/conf/itp/Lammich22.xml
Peter Lammich Refinement of Parallel Algorithms down to LLVM. 24:1-24:18 2022 ITP https://doi.org/10.4230/LIPIcs.ITP.2022.24 conf/itp/2022 db/conf/itp/itp2022.html#Lammich22