User loginNavigation |
Stevie StricklandPersonal informationUSA theory of and research into programming languages, functional programming and efficient implementation thereof, type theory History21 years 11 weeks |
Browse archives
Active forum topics |
Recent comments
17 weeks 3 days ago
17 weeks 3 days ago
17 weeks 3 days ago
23 weeks 3 days ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 38 weeks ago
1 year 39 weeks ago