The benefits of static typing with regard to reliability are unclear, at best:

https://danluu.com/empirical-pl/

If you're going to start citing research, you should look at the Cooley finding on verilog vs VHDL.

I don't consider a human subjects study to be "hard evidence".

So, we can safely disregard these papers. They got exactly the result that they sought out to get, and the papers were published because they confirmed the preexisting groupthink.

I was searching for the Stefik article to argue here, thank you.