SIPL '95
Subtitle: Second ACM SIGPLAN Workshop on State in Programming Languages : San Francisco, California, January 22, 1995
Series: Report -- no. UIUCDCS-R-95-1900; Report (University of Illinois at Urbana-Champaign. Department of Computer Science) -- no. UIUCDCS-R-95-1900
Publisher: University of Illinois at Urbana-Champaign, Dept. of Computer Science
Published: 1995
Place of publication: Urbana, Ill
Language: eng
Number of pages: 108
Subjects: Programming languages (Electronic computers)
Notes: "January 22, 1995."

Includes bibliographical references.
Table of contents: title: Formalizing Hoare logic / Joshua E. Caplan; title: An imperative object calculus / Martín Abadi, Luca Cardelli; title: Lazy computations in an object-oriented language for reactive programming / Johan Nordlander; title: Inferring effect types in an applicative language with asynchronous concurrency / Josva Kleist [and others]; title: Terminated references and automatic parallelization for state transformers / Peter J. Thiemann; title: Mutable data structures and composable references in a pure functional language / Koji Kagawa; title: Applying [pi] : towards a basis for concurrent imperative programming / Martin Odersky.