Born 1977, demoscene coder on the Amiga since 1991. Experienced dev converted to Research on languages and type systems. Now Professor at Ca' Foscari.
PO2. Materiali per il corso di Programmazione ad Oggetti mod. 2, a.a. 2018 @ DAIS Ca' Foscari
67Polygen. The famous random sentence generator.
42Lw. Lw is a general-purpose statically-typed functional-first language with cutting-edge features.
8Lintent. A static code analyzer for Android.
5CobolAnalyzer. A static code analyzer for COBOL85.
5FunctionalLanguages-UniPD. Functional Languages course for University of Padova
5LabCloud. Laboratorio di Cloud Computing e Sistemi Distribuiti a.a. 2018-19
4Legodroid. A tiny library for type-driven cross-programming Lego Mindstorms EV3 from Android.
4AlgoMove. Evaluation repo for BCRA journal submission
1