Home » user account

David Van Horn

Personal information


http://www.ccs.neu.edu/home/dvanhorn/

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


5 years 39 weeks