"May you have a Strong (-typed) Foundation" why Strong-typed Programming Languages do Matter.

Nicola Tomatis, Roberto Brega, Gabrio Rivera, Roland Siegwart

Browse the full ICRA paper archive.