Dave Herman

Personal information


USA

male

process calculi, lambda calculus, control flow analysis, staged programming, metaprogramming/macros

History


20 years 16 weeks