HOOTS II. 2nd workshop on Higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8--12, 1997 (Q1273561)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Lassen, Soren; Pitcher, Corin}, Similarity and bisimilarity for countable non-determinism and higher-order functions. (Extended abstract), electronic paper No. 2 [Zbl 0925.68083] \textit{Pitts, Andy}, Parametric polymorphism and operational equivalence. (Preliminary version), electronic paper No. 3 [Zbl 0925.68081] \textit{Dami, Laurent}, Operational subsumption, an ideal model of subtyping, electronic paper No. 4 [Zbl 0925.68295] \textit{Winskel, Glynn}, An operational understanding of bisimulation from open maps, electronic paper No. 5 [Zbl 0925.68290] \textit{Jeffrey, Alan}, Premonoidal categories and flow graphs, electronic paper No. 6 [Zbl 0925.68296] \textit{Gardner, Philippa}, A type-theoretic description of action calculi, electronic paper No. 7 [Zbl 0925.68080] \textit{Ariola, Zena; Sabry, Amr}, Correctness of monadic state: An imperative call-by-need calculus, electronic paper No. 8 [Zbl 0925.68292] \textit{Barthe, Gilles; Hatcliff, John; Thiemann, Peter}, Monadic type systems: Pure type systems for impure settings. (Preliminary report), electronic paper No. 9 [Zbl 0925.68294] \textit{Ibraheem, Husain; Schmidt, David A.}, Adapting big-step semantics to small-step style: Conductive interpretations and ``higher-order'' derivations, electronic paper No. 10 [Zbl 0925.68299] \textit{Stoughton, Allen}, An operational semantics framework supporting the incremental construction of derivation trees, electronic paper No. 11 [Zbl 0925.68300] \textit{Sands, Dave}, Computing with contexts: A simple approach, electronic paper No. 12 [Zbl 0925.68291] \textit{Nielson, Flemming; Nielson, Hanne Riis}, Flow logic and operational semantics, electronic paper No. 13 [Zbl 0925.68293] \textit{Montanari, Ugo; Pistore, Marco}, An introduction to history dependent automata, electronic paper No. 14 [Zbl 0925.68289] \textit{Smith, Scott}, Specification diagrams for actors systems, electronic paper No. 16 [Zbl 0925.68309] \textit{Cardelli, Luca; Gordon, Andrew D.}, Mobile Ambients. (Extended abstract), electronic paper No. 17 [Zbl 0925.68068] \textit{Abadi, Martin; Fournet, Cedric; Gonthier, Georges}, Secure implementation of channel abstractions, electronic paper No. 18 [Zbl 0925.68140] \textit{Flatt, Matthew; Felleisen, Matthias}, Program units as higher-order modules, electronic paper No. 19 [Zbl 0925.68082] \textit{Morrisett, Greg; Harper, Robert}, Typed closure conversion for recursively-defined functions. (Extended abstract), electronic paper No. 20 [Zbl 0925.68298] \textit{Freund, Steve; Mitchell, John}, A type system for object initialization in the Java bytecode language, electronic paper No. 21 [Zbl 0925.68079] \textit{Montanari, Ugo; Talcott, Carolyn}, Can actors and pi-agents live together?, electronic paper No. 15 [Zbl 0925.68116]