@book(DBLP:books/daglib/Agha90,
)
@article(DBLP:journals/pacmpl/BalzerP17,
 doi          = {10.1145/3110281},
)
@inproceedings(DBLP:conf/ecoop/BurloFS21,
 doi          = {10.4230/LIPIcs.ECOOP.2021.20},
)
@article(Cassola2020,
 doi          = {10.1145/3427081.3427084},
)
@article(cassola2022101077,
 doi          = {10.1016/j.cola.2021.101077},
)
@inproceedings(DBLP:conf/coordination/CutnerY21,
 doi          = {10.1007/978-3-030-78142-2_5},
)
@inproceedings(DBLP:conf/lics/Das0P18,
 doi          = {10.1145/3209108.3209146},
)
@misc(github/gradient,
 url          = {https://github.com/esl/gradient},
)
@inproceedings(DBLP:journals/corr/Fowler16,
 doi          = {10.4204/EPTCS.223.3},
)
@article(DBLP:journals/corr/FrancalanzaVH14,
 doi          = {10.2168/LMCS-10(2:15)2014},
)
@inproceedings(DBLP:conf/erlang/Harrison18,
 doi          = {10.1145/3239332.3242765},
)
@inproceedings(DBLP:conf/erlang/Harrison19,
 doi          = {10.1145/3331542.3342571},
)
@inproceedings(DBLP:conf/ecoop/00020DG21,
 doi          = {10.4230/LIPIcs.ECOOP.2021.10},
)
@inproceedings(DBLP:conf/ijcai/HewittBS73,
)
@inproceedings(DBLP:conf/icdcit/HondaMBCY11,
 doi          = {10.1007/978-3-642-19056-8_4},
)
@article(DBLP:journals/jacm/HondaYC16,
 doi          = {10.1145/2827695},
)
@inproceedings(DBLP:conf/icfp/JespersenML15,
 doi          = {10.1145/2808098.2808100},
)
@article(DBLP:journals/cacm/Keller76,
 doi          = {10.1145/360248.360251},
)
@inproceedings(DBLP:journals/corr/abs-1909-05970,
 doi          = {10.4204/EPTCS.304.4},
)
@inproceedings(DBLP:conf/coordination/LagaillardieNY20,
 doi          = {10.1007/978-3-030-50029-0_8},
)
@inproceedings(DBLP:conf/ppdp/LindahlS06,
 doi          = {10.1145/1140335.1140356},
)
@article(DBLP:journals/pacmpl/MelgrattiP17,
 doi          = {10.1145/3110279},
)
@inproceedings(DBLP:conf/coordination/MostrousV11,
 doi          = {10.1007/978-3-642-21464-6_7},
)
@inproceedings(DBLP:journals/corr/NeykovaY14,
 doi          = {10.4204/EPTCS.155.5},
)
@article(DBLP:journals/corr/NeykovaY16,
 doi          = {10.23638/LMCS-13(1:17)2017},
)
@article(DBLP:journals/jfp/Padovani17,
 doi          = {10.1017/S0956796816000289},
)
@book(DBLP:books/daglib/0005958,
)
@article(pruiksmaPfenning2022:JFP,
 doi          = {10.1017/S0956796822000016},
)
@inproceedings(DBLP:conf/ecoop/ScalasY16,
 doi          = {10.4230/LIPIcs.ECOOP.2016.21},
)
@inproceedings(DBLP:conf/pldi/ScalasYB19,
 doi          = {10.1145/3314221.3322484},
)
@inproceedings(DBLP:conf/erlang/SvenssonFE10,
 doi          = {10.1145/1863509.1863514},
)
@inproceedings(DBLP:conf/agere/TaboneF21,
 doi          = {10.1145/3486601.3486708},
)
@techreport(TaboneFrancalanzaTechReport,
 url          = {https://gtabone.page.link/V9Hh},
)
@book(thomas2018programming,
)
@misc(github/Qqwy/typecheck,
 url          = {https://github.com/Qqwy/elixir-type_check},
)