David Herman

A Few Principles of Macro Design

David Van Horn, David Herman, 2008 .

Improving the static analysis of embedded languages via partial evaluation

David Herman, Philippe Meunier, David Herman, 2004, ICFP '04.

Implementing Continuation Marks in Javascript

David Herman, John Clements, Ayswarya Sundaram, 2008 .

Functional pearl: the great escape or, how to jump the border without getting caught

David Herman, David Herman, 2007, ICFP '07.

Status report: specifying javascript with ML

Cormac Flanagan, David Herman, C. Flanagan, 2007, ML '07.

Space-efficient gradual typing

Cormac Flanagan, David Herman, Aaron Tomb, 2010, High. Order Symb. Comput..

A theory of typed hygienic macros

David Herman, David Herman, 2010 .