home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / object / 4720 < prev    next >
Encoding:
Internet Message Format  |  1993-01-06  |  2.5 KB
  1. Xref: sparky comp.object:4720 comp.compilers:2087 comp.specification:601 comp.theory:2798 comp.lang.functional:1486
  2. Path: sparky!uunet!spool.mu.edu!wupost!emory!ogicse!das-news.harvard.edu!spdcc!iecc!compilers-sender
  3. From: odersky@CS.YALE.EDU (Martin Odersky)
  4. Newsgroups: comp.object,comp.compilers,comp.specification,comp.theory,comp.lang.functional
  5. Subject: CFP -- SIGPLAN Workshop on State in Programming Languages
  6. Keywords: CFP, functional
  7. Message-ID: <93-01-014@comp.compilers>
  8. Date: 5 Jan 93 15:56:32 GMT
  9. Article-I.D.: comp.93-01-014
  10. Sender: compilers-sender@iecc.cambridge.ma.us
  11. Reply-To: odersky@CS.YALE.EDU (Martin Odersky)
  12. Organization: Computer Science, Yale University, New Haven, CT 06520-2158
  13. Lines: 49
  14. Approved: compilers@iecc.cambridge.ma.us
  15.  
  16.  
  17.                           Call for Papers
  18.  
  19.                            ACM SIGPLAN '93
  20.               Workshop on STATE in Programming Languages
  21.  
  22.                             June 22, 1993
  23.                        Albuquerque, New Mexico
  24.             (Held in conjunction with the PLDI Symposium)
  25.  
  26. This workshop will address the fundamental issues of expressing,
  27. manipulating, and reasoning about state in high-level programming
  28. languages.  The range of topics includes operational and denotational
  29. models of state, assignment and references, semantics of object- oriented
  30. programming, linear type systems, effect systems, monads, calculi of state
  31. and methods to reason about state. Formal presentations of results,
  32. research in progress, tutorials, and topical discussions are among the
  33. possible venues for interaction.
  34.  
  35. Program Committee:
  36.  
  37.   Matthias Felleisen, Rice University
  38.   Paul Hudak, Yale University (Chair)
  39.   Ian Mason, Stanford University
  40.   Martin Odersky, Yale University
  41.   Uday Reddy, University of Illinois
  42.   Robert Tennent, University of Edinburgh
  43.   Philip Wadler, University of Glasgow
  44.  
  45. Authors should submit 7 copies of a detailed summary (10 pages maximum) to
  46. the program chair by March 15, 1993.  Authors will be notified of
  47. acceptance of their paper by May 1st, 1993. Final versions of accepted
  48. papers are due on June 1st, 1993.  Accepted papers will appear in a
  49. technical report to be distributed at the workshop.
  50.  
  51. Correspondence should be sent to:
  52.  
  53.     Prof. Paul Hudak
  54.     State Workshop '93
  55.     Department of Computer Science
  56.     Yale University
  57.     51 Prospect Street
  58.     New Haven, CT 06520-2158, 
  59.     U.S.A.
  60.  
  61. E-mail: state-workshop@cs.yale.edu
  62. -- 
  63. Send compilers articles to compilers@iecc.cambridge.ma.us or
  64. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  65.