• linguaggi-di-programmazione
  • lucidi
  • 27-tipi-base-e-algebra-dei-tipi.pdf