Swaha Miller

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Logical Language

Database Systems

Top Venues

Programming Logics

Publications

William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig
Profile-guided meta-programming. PLDI (2015)
David A. Plaisted, Swaha Miller
The Relative Power of Semantics and Unification. Programming Logics (2013)
Swaha Miller, David A. Plaisted
The Space Efficiency of OSHL. TABLEAUX (2005)