gistfile1.txt

  Type checking higher-order polymorphic multi-methods - François Bourdoncle, Stephan Merz (POPL 1997) (0.955306)
  What are principal typings and what are they good for? - Trevor Jim (POPL 1996) (0.976467)
  Soft typing - Robert Cartwright, Mike Fagan (PLDI 1991) (0.976467)
  Objective ML: a simple object-oriented extension of ML - Didier Rémy, Jérôme Vouillon (POPL 1997) (1.059465)
  Parameterized types for Java - Joseph A. Bank, Andrew C. Myers, Barbara Liskov (POPL 1997) (1.253439)
  Types as abstract interpretations - Patrick Cousot (POPL 1997) (1.253439)
  Typed closure conversion - Yasuhiko Minamide, Greg Morrisett, Robert Harper (POPL 1996) (1.253439)
  Putting type annotations to work - Martin Odersky, Konstantin Läufer (POPL 1996) (1.253439)
  Subtyping recursive types - Roberto M. Amadio, Luca Cardelli (POPL 1991) (1.253439)
  Once upon a polymorphic type - Keith Wansbrough, Simon Peyton Jones (POPL 1999) (1.253439)
  Local type inference - Benjamin C. Pierce, David N. Turner (POPL 1998) (1.253439)
  Refinement types for ML - Tim Freeman, Frank Pfenning (PLDI 1991) (1.253439)
  Efficient applicative data types - Eugene W. Myers (POPL 1984) (1.458646)
  Structural subtyping and the notion of power type - L. Cardelli (POPL 1988) (1.458646)
  Abstract types have existential types - John C. Mitchell, Gordon D. Plotkin (POPL 1985) (1.458646)
  Recursively defined data types: part 1 - C. H. Lewis, B. K. Rosen (POPL 1973) (1.458646)
  Principal type-schemes for functional programs - Luis Damas, Robin Milner (POPL 1982) (1.458646)
  Minimal typings in atomic subtyping - Jakob Rehof (POPL 1997) (1.458646)
  An interpretation of objects and object types - Martín Abadi, Luca Cardelli, Ramesh Viswanathan (POPL 1996) (1.458646)
  Typing first-class continuations in ML - Bruce Duba, Robert Harper, David MacQueen (POPL 1991) (1.458646)