Αρχική σελίδα μαθήματος
  • Application: zones géométriques

Types et inférence de typeEnregistrements, types récursifs, récursivité terminale