User loginNavigation |
Jake McArthurPersonal informationI'm particularly interested in dependent types and provable programming, and my (overly-) ambitious hope is to apply such a sound type system to a new language and operating system kernel combination. History3 years 33 weeks |
Browse archivesActive forum topics |