Lambda the Ultimate
- Advanced Topics in Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/attapl/ 8 comments LtU Forum
Linking pages
- What's in a Module? · thunderseethe's devlog https://thunderseethe.dev/posts/whats-in-a-module/ 63 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- Making PL Ideas Accessible: An Open-Source, Open-Access, Interactive Journal | SIGPLAN Blog https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/ 1 comment
- A Plan for Pugs http://www.perl.com/pub/a/2005/03/03/pugs_interview.html 1 comment
- The Curry-Howard Correspondence | Grant Jurgensen https://grant.jurgensen.dev/2022/01/08/CurryHoward.html 0 comments
- GitHub - jeanqasaur/learn-programming-languages: Resources for the working programmer to learn more about the fundamentals and theory of programming languages. https://github.com/jeanqasaur/learn-programming-languages 0 comments
- Audrey Tang — Open Government Hacker | by Alvaro Videla | A Computer of One’s Own | Medium https://medium.com/a-computer-of-ones-own/audrey-tang-open-government-hacker-d7b80a69c0df 0 comments
Related searches:
Search whole site: site:cis.upenn.edu
Search title: Advanced Topics in Types and Programming Languages
See how to search.