|Find people and communities interested in:|
|Modify your interests based on those of:|
Results for communities interested in "type theory"
- welovegeeks - Girls who like geeks (Updated 5 years ago)
- geekadelaide - Geek Adelaide (Updated 6 years ago)
- lovingeekladies - We love "Geeky", intelligent, and learned Girls! (Updated 6 years ago)
- cmu_pl - CMU Programming Languages Blog (Updated 10 years ago)
- declarative - Declarative Programming Languages (Updated 10 years ago)
Results for users interested in "type theory"
More fun stuff can be found on the interests page.