🚀 go-pugleaf

Archive-name: auto/comp.object/Papers-available-by-ftp

At the OOPSLA'92 tutorial entitled "Types for the language designer"
we promised to make some papers on object-oriented type systems available.  

These papers (and more) are now available by anonymous ftp on
  daimi.aau.dk  ( 130.225.16.1 )
in the directory
  /pub/palsberg/papers

The files in this directory contain compressed PostScript versions
of the following papers:

  * William Cook and Jens Palsberg. 
    "A denotational semantics of inheritance and its correctness".  
    To appear in Information and Computation. 
    Presented at OOPSLA'89.

  * Jens Palsberg and Michael I. Schwartzbach.  
    "Safety analysis versus type inference for partial types".
    Information Processing Letters 43 (1992) 175--180.

  * Jens Palsberg. 
    "Normal forms have partial types".
    To appear in Information Processing Letters.

  * Jens Palsberg and Michael I. Schwartzbach.  
    "Static typing for object-oriented programming".
    To appear in Science of Computer Programming.

  * Jens Palsberg and Michael I. Schwartzbach.  
    "Type substitution for object-oriented programming".
    In Proc. OOPSLA/ECOOP'90.
  
  * Jens Palsberg and Michael I. Schwartzbach.  
    "What is type-safe code reuse?".
    In Proc. ECOOP'91, Springer-Verlag (LNCS 512), pages 325-341.

  * Jens Palsberg and Michael I. Schwartzbach.  
    "Object-oriented type inference".
    In Proc. OOPSLA'91.

  * Nicholas Oxhoj, Jens Palsberg, and Michael I. Schwartzbach.
    "Making type inference practical".
    In Proc. ECOOP'92, Springer-Verlag (LNCS 615), pages 329-349.

  * Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach.
    "Efficient Inference of Partial Types".
    In Proc. FOCS'92, pages 363-371.

  * Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach.
    "Efficient recursive subtyping".
    To be presented at POPL'93.

  * Jens Palsberg and Michael I. Schwartzbach.  
    "Three discussions on object-oriented typing".
    ACM SIGPLAN OOPS Messenger, 3(2):31-39, 1992.

--Jens Palsberg and Michael Schwartzbach 
Computer Science Department, Aarhus University,
Ny Munkegade, DK-8000 Aarhus C, Denmark
phone: +45 8612 7188, fax: +45 8613 5725     

--
Jens Palsberg  
Computer Science Department, Aarhus University,
Ny Munkegade, DK-8000 Aarhus C, Denmark
phone: +45 8620 2711--5237, or +45 8612 7188;  fax: +45 8613 5725