On the use of generic types for smart contracts[J] CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS Spoto, Fausto Migliorini, Sara Gambini, Mauro Benini, Andrea