- Quantifier elimination and parametric polymorphism in programming languages
- Undecidable Boundedness Problems for Datalog Programs \Lambda
- Parallel beta reduction is not elementary recursive
- Deciding kCFA is complete for EXPTIME David Van Horn Harry G. Mairson
- Relating Complexity and Precision in Control Flow Analysis David Van Horn Harry G. Mairson
- From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple
- Types, Potency, and Idempotency: Why Nonlinearity and Amnesia Make a Type System Work
- Under consideration for publication in J. Functional Programming 1 Linear lambda calculus and
- Imagining a Civil University: Its Necessity and Insufficiency The Hillel Foundation, the national organization for Jewish campus life,
- Libert de parole l'universit confrence-dbat
- Database Query Languages Embedded in the Typed Lambda Calculus \Lambda
- Flow analysis, linearity, and PTIME David Van Horn and Harry G. Mairson
- On the Computational Complexity of Cut-Elimination in Linear Logic
- Sharing continuations: proofnets for languages with explicit control
- MLL normalization and transitive closure: circuits, complexity, and Euler tours
- The Complexity of Type Inference for HigherOrder Typed Lambda Calculi \Lambda
- Unification and ML Type Reconstruction \Lambda Paris C. Kanellakis y
- Relating Typability and Expressiveness in FiniteRank Intersection Type Systems
- Que choisir comme sujet pour faire un expose? Que faudrait-il donc faire? Que faudrait-il oser?
- Outline of a proof theory of parametricity Harry G. Mairson \Lambda
- A Constructive Logic of Multiple Subtyping Harry G. Mairson \Lambda
- Optimality and inefficiency : what isn't a cost model of the lambda calculus?
- A simple proof of a theorem of Statman Harry G. Mairson \Lambda
- Proofnets and context semantics for the additives
- On global dynamics of optimal graph reduction Julia L. Lawall \Lambda
- An Analysis of the CoreML Language: Expressive Power and Type Reconstruction
- The fall semester at Brandeis was marked by racial incidents which left students and faculty very upset. Were these actions of thoughtless individuals,
- Respect For Our Parents, and Thinking For Our Selves First, congratulations to all the graduates, and thank you for the
- Libert de parole l'Universit Harry Mairson
- Poetic Justice: Louis Brandeis's Epitaph Louis said from the grave, If I am