[M2] ================================================ AMAST Links 02 01

  2nd ACM SIGPLAN Workshop on State in Programming Languages, SIPL'95
		      San Francisco, Jan 21, 1995


   *Update* of [SIAN05p2-1].

   Held in conjunction with POPL'95. _Registration information_ at
URL: ftp://wuarchive.wustl.edu/pub/popl95

  *SIPL'95 Advance Program*

8:30 - 10:00 : 
     o  *Tutorial* State in Programming Languages: Issues in languages,
        semantics and reasoning, P. W. O'Hearn (Syracuse University)
        and U. S. Reddy (University of Illinois)
     o  Formalizing Hoare Logic, J. E. Caplan (University of Illinois)
10:30 - 12:00 : 
     o  An Imperative Object Calculus, M. Abadi and L. Cardelli (DEC
        Systems Research Center)
     o  Lazy computations in an object-oriented language for reactive
        programming, J. Nordlander (Chalmers University of Technology)
     o  Inferring effect types in an applicative language with
        asynchronous concurrency, J. Kleist, M. Hansen, B. Jensen, and
        H. Huttel (Aalborg University)
2:00 - 3:45 : 
     o  *Tutorial* State in Haskell, S. Peyton Jones (University of
        Glasgow)
     o  Terminated references and automatic parallelization in the
        state monad, P. J. Thiemann (University of Tubingen)
     o  Mutable data structures and composable references in a pure
        functional language,  K. Kagawa (Kyoto University)
4:15 - 4:45 : 
     o  Applying PI: Towards a basis for concurrent imperative
        programming, M. Odersky (University of Karlsruhe)
4:45 - 5:30 : 
     o  *Panel discussion:* State and Functional Programming