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
Alaina Marie Scott and Matt Moeller
Child - 14th Apr 2026
by missepticeye
Lane Johnson and Kelsey Holmer
Marriage - 12th Apr 2026
by missepticeye
Jessie Cave and Alfie Brown (i)
Engagement - 12th Apr 2026
by missepticeye
Chase McWhorter and Hallie Batchelder
Hookup - 12th Apr 2026
by missepticeye
see more
Follow WDW on Facebook
