home.social

#tapl — Public Fediverse posts

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

  1. Mine Nest @[email protected] ·

    minenest.com/284226/ Playing as a HELPFUL POLICE in Minecraft! #aphmau #asheru #cash #dream #habitat #HelpfulPolice #maizen #Minecraft #MinecraftBut #MinecraftTagalog #MinecraftVideos #nico #omocraft #pepesantv #PEPSHEYYYN #playofel #sheyyynplayz #tapl #wisp

    #aphmau #asheru #cash #dream #habitat #helpfulpolice
  2. Mine Nest @[email protected] ·

    minenest.com/262792/ PepeSan Was BURIED ALIVE in Minecraft! #aphmau #asheru #BuriedAlive #cash #dream #habitat #maizen #Minecraft #MinecraftBut #MinecraftTagalog #MinecraftVideos #nico #omocraft #pepesantv #PEPSHEYYYN #playofel #sheyyynplayz #tapl #wisp

    #aphmau #asheru #buriedalive #cash #dream #habitat
  3. \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
  4. Alexander Bandukwala @thekkid ·

    You can tell that TAPL was written 20 years ago.

    #tapl #programminglanguages #java
  5. Alexander Bandukwala @thekkid ·

    I'm really struggling with TAPL exercise 6.1.4 and there's no solution in the appendix. I can't tell if I'm supposed to build up the set of n-terms inductively using the previous set or build up each n-terms inductively.

    #tapl #typesandprogramminglanguages