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
.
SIPL'95 Advance Program
-
8:30 - 10:00
-
-
Tutorial State in Programming Languages: Issues in languages,
semantics and reasoning, P. W. O'Hearn (Syracuse University)
and U. S. Reddy (University of Illinois)
-
Formalizing Hoare Logic, J. E. Caplan (University of Illinois)
-
10:30 - 12:00
-
-
An Imperative Object Calculus, M. Abadi and L. Cardelli (DEC
Systems Research Center)
-
Lazy computations in an object-oriented language for reactive
programming, J. Nordlander (Chalmers University of Technology)
-
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
-
-
Tutorial State in Haskell, S. Peyton Jones (University of
Glasgow)
-
Terminated references and automatic parallelization in the
state monad, P. J. Thiemann (University of Tubingen)
-
Mutable data structures and composable references in a pure
functional language, K. Kagawa (Kyoto University)
-
4:15 - 4:45
-
-
Applying PI: Towards a basis for concurrent imperative
programming, M. Odersky (University of Karlsruhe)
-
4:45 - 5:30
-
-
Panel discussion: State and Functional Programming