home.social

#attapl — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #attapl, aggregated by home.social.

  1. \LuXaS @[email protected] ·

    Et si la théorie vous botte, sachez que Pierce est à l'origine des deux meilleurs livres que j'aie pu lire sur le sujet, d'une pédagogie exceptionnelle :
    - Types and Programming Languages #TAPL cis.upenn.edu/~bcpierce/tapl/
    - Advanced Topics in Types and Programming Languages #ATTAPL cis.upenn.edu/~bcpierce/attapl

    #tapl #attapl