User loginNavigation |
Stevie StricklandPersonal informationUSA theory of and research into programming languages, functional programming and efficient implementation thereof, type theory History21 years 32 weeks |
Browse archives
Active forum topics |
Recent comments
17 hours 59 min ago
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 3 days ago
12 weeks 3 days ago
13 weeks 1 day ago
13 weeks 1 day ago
13 weeks 1 day ago
16 weeks 1 day ago
17 weeks 5 hours ago