popular
trending
lists
login
Programming language theory
Academic programming languages
Compiler construction
Dependently typed programming
Lambda calculus
Program analysis
Program transformation
Programming language researchers
Programming language semantics
Programming language theory stubs
Programming languages
Rewriting systems
Substitution (logic)
Type theory
Latest Activity
Latest Events
Peter Weber and Jadeyn Carr
Engagement - 11th Nov 2026
by Redhot79
Andi Dorfman and Blaine Hart
Child - 8th Nov 2026
by missepticeye
Paige Hyland and Jayvon Thrift
Engagement - 7th Nov 2026
by Redhot79
Pauliena Rooijakkers and Ronan van Zandbeek
Child - 7th Nov 2026
by missepticeye
see more
Follow WDW on Facebook
