Jim Apple

I am a first-year graduate student in computer science at the University of California, Davis.

• Simulating Dependent Types with Guarded Algebraic Datatypes
• Artificial Intelligence: A Modern Approach, Second Edition -- Extra Errata
• Blog about typed programming
• A GNU Make quine
• Boost value wrapper (out of date)
• GooglePlay (out of date)