Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]

ID: 58605190

linkhttp://homes.soic.indiana.edu/jsiek/ calendar_today20-07-2009 22:02:31