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
Jade van Vliet and Kenneth Taylor
Engagement - 1st Jun 2026
by missepticeye
Callum Turner and Dua Lipa
Marriage - 31st May 2026
by TrickyBaby
Zachariah Porter and Jonathan Carson
Engagement - 31st May 2026
by missepticeye
Charo Walop and Lex
Child - 30th May 2026
by missepticeye
see more
Follow WDW on Facebook
