Home » user account

David Van Horn

Personal information


dvanhorn at ccs dot neu dot edu


My research interests are in programming languages, analysis of functional programming languages, type theory, and language based approaches to security.

History


20 years 22 weeks