Eric Walker added Typed programming languages to [

    The curse of strong typing
    
](https://fasterthanli.me/articles/the-curse-of-strong-typing)

Eric Walker added Where do Type Systems Come From? to Typed programming languages and David Hilbert

Eric Walker added Where do Type Systems Come From? to Typed programming languages, and added Typed programming languages to Programming languages, data formats and protocols

Eric Walker added a number of topics and a number of links to Programming languages, data formats and protocols, and added Programming languages, data formats and protocols to Language, languages, speech, writing, communication and meaning and Software and programming