Home » user account

Jake McArthur

Personal information


http://geekrant.wordpress.com/

I'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.

History


3 years 33 weeks