User loginNavigation |
Stevie StricklandPersonal informationUSA theory of and research into programming languages, functional programming and efficient implementation thereof, type theory History4 years 23 weeks |
Browse archivesActive forum topics |