home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / archives / 3779 < prev    next >
Encoding:
Internet Message Format  |  1992-12-14  |  2.9 KB
  1. Path: sparky!uunet!spool.mu.edu!agate!agate!usenet
  2. From: palsberg@daimi.aau.dk (Jens Palsberg)
  3. Newsgroups: comp.archives
  4. Subject: [comp.object] Papers available by ftp
  5. Followup-To: comp.object
  6. Date: 14 Dec 1992 10:43:24 GMT
  7. Organization: DAIMI: Computer Science Department, Aarhus University, Denmark
  8. Lines: 69
  9. Sender: adam@soda
  10. Approved: adam@soda
  11. Distribution: world
  12. Message-ID: <1ghogcINNms0@agate.berkeley.edu>
  13. References: <1992Dec10.183103.14252@daimi.aau.dk>
  14. NNTP-Posting-Host: soda.berkeley.edu
  15. X-Original-Newsgroups: comp.object
  16. X-Original-Date: 10 Dec 92 18:31:03 GMT
  17.  
  18. Archive-name: auto/comp.object/Papers-available-by-ftp
  19.  
  20. At the OOPSLA'92 tutorial entitled "Types for the language designer"
  21. we promised to make some papers on object-oriented type systems available.  
  22.  
  23. These papers (and more) are now available by anonymous ftp on
  24.   daimi.aau.dk  ( 130.225.16.1 )
  25. in the directory
  26.   /pub/palsberg/papers
  27.  
  28. The files in this directory contain compressed PostScript versions
  29. of the following papers:
  30.  
  31.   * William Cook and Jens Palsberg. 
  32.     "A denotational semantics of inheritance and its correctness".  
  33.     To appear in Information and Computation. 
  34.     Presented at OOPSLA'89.
  35.  
  36.   * Jens Palsberg and Michael I. Schwartzbach.  
  37.     "Safety analysis versus type inference for partial types".
  38.     Information Processing Letters 43 (1992) 175--180.
  39.  
  40.   * Jens Palsberg. 
  41.     "Normal forms have partial types".
  42.     To appear in Information Processing Letters.
  43.  
  44.   * Jens Palsberg and Michael I. Schwartzbach.  
  45.     "Static typing for object-oriented programming".
  46.     To appear in Science of Computer Programming.
  47.  
  48.   * Jens Palsberg and Michael I. Schwartzbach.  
  49.     "Type substitution for object-oriented programming".
  50.     In Proc. OOPSLA/ECOOP'90.
  51.   
  52.   * Jens Palsberg and Michael I. Schwartzbach.  
  53.     "What is type-safe code reuse?".
  54.     In Proc. ECOOP'91, Springer-Verlag (LNCS 512), pages 325-341.
  55.  
  56.   * Jens Palsberg and Michael I. Schwartzbach.  
  57.     "Object-oriented type inference".
  58.     In Proc. OOPSLA'91.
  59.  
  60.   * Nicholas Oxhoj, Jens Palsberg, and Michael I. Schwartzbach.
  61.     "Making type inference practical".
  62.     In Proc. ECOOP'92, Springer-Verlag (LNCS 615), pages 329-349.
  63.  
  64.   * Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach.
  65.     "Efficient Inference of Partial Types".
  66.     In Proc. FOCS'92, pages 363-371.
  67.  
  68.   * Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach.
  69.     "Efficient recursive subtyping".
  70.     To be presented at POPL'93.
  71.  
  72.   * Jens Palsberg and Michael I. Schwartzbach.  
  73.     "Three discussions on object-oriented typing".
  74.     ACM SIGPLAN OOPS Messenger, 3(2):31-39, 1992.
  75.  
  76. --Jens Palsberg and Michael Schwartzbach 
  77. Computer Science Department, Aarhus University,
  78. Ny Munkegade, DK-8000 Aarhus C, Denmark
  79. phone: +45 8612 7188, fax: +45 8613 5725     
  80.  
  81. --
  82. Jens Palsberg  
  83. Computer Science Department, Aarhus University,
  84. Ny Munkegade, DK-8000 Aarhus C, Denmark
  85. phone: +45 8620 2711--5237, or +45 8612 7188;  fax: +45 8613 5725     
  86.  
  87.