Clojurians
#clojure-italy
<
2018-07-12
>

This page is not created by, affiliated with, or supported by Slack Technologies, Inc.

reborg08:07:43

morghenuts

reborg13:07:38

abbiamo iniziato un TAPL book club al lavoro... https://www.cis.upenn.edu/~bcpierce/tapl/ vediamo come gira. Mi sto leggendo il primo capitolo. Direi che da quando ho capito che un type system e' un caso specifico di proof system la cosa ha cominciato ad interessarmi molto di piu' (teoricamente).

bronsa13:07:05

bel libro TAPL