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
Coco Jones and Donovan Mitchell
Marriage - 1st Aug 2026
by TrickyBaby
Rafal Brzozowski and Helena Adwent
Marriage - 1st Aug 2026
by Milena87744
Cole Hosman and Sienna Mae Gomez
Marriage - 31st Jul 2026
by jeremiahsercado
Naomi Joël and Jay Zwarts
Child - 31st Jul 2026
by annika_lb
see more
Follow WDW on Facebook
