Jonathan Sterling

Un'esplorazione del ruolo della teoria dei tipi nella strutturazione delle relazioni matematiche e computazionali.

Scopri l'importanza della programmazione sensibile ai costi nell'ottimizzazione della gestione delle risorse.

Uno sguardo ai grafi riflessivi e alle loro applicazioni attraverso le lenti.