smshaner

Personal information


USA

male

behavior, semantics, equivalence, simulation, pi calculus, specification languages, functional programming, object-oriented programming, Haskell, Ruby, Scala, Java

History


20 years 4 weeks