User loginNavigation |
Stevie StricklandPersonal informationUSA theory of and research into programming languages, functional programming and efficient implementation thereof, type theory History20 years 35 weeks |
Browse archives
Active forum topics |
Recent comments
36 weeks 9 hours ago
36 weeks 13 hours ago
36 weeks 13 hours ago
1 year 6 weeks ago
1 year 10 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 14 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago