Brad Lushman
Lecturer
Cheriton School of Computer Science
University of Waterloo
Canada
Biography
Dr. Brad Lushman is a Lecturer in the Cheriton School of Computer Science, University of Waterloo, University Avenue West, Waterloo, ON, Canada.
Research Interest
Dr. Brad Lushman Research interest includes Typed and untyped λ-calculi, functional programming, type systems.
Publications
-
Brad Lushman and Gordon V. Cormack. Constraint-Based typing for ML via Semiunification. Computer Science Tech Report CS-2008-10, University of Waterloo. Submitted to ACM Transactions on Programming Languages and Systems, 2008.
