LCS Publications: Recent submissions

Now showing items 4-6 of 1152

    • What are principal typings and what are they good for? 

      Jim, Trevor (1995-11)
      We demonstrate the pragmatic value of the principal typing property, a property more general than ML's principal type property, by studying a type system with principal typings. The type system is based on rank 2 intersection ...

    • Rank 2 Type Systems and Recursive Definitions 

      Jim, Trevor (1995-11)
      We demonstrate an equivalence between the rank 2 fragments of the polymorphic lambda calculus (System F) and the intersection type discipline: exactly the same terms are typable in each system. An immediate consequence ...

    • An Autoimmune Mechanism for AIDS' T4 Lymphopenia 

      Micali, Silvio (1991-05)
      We put forward a new model for the T4 lymphopenia occuring in AIDS by suggesting a mechanism whose net effect is blocking the generation of T4 cells during HIV infection. Supporting evidence for this mechanism is derived ...