(ref.doc)toplas18-4

ACM Transactions on Programming Languages and Systems
July 1996: Vol 18, Nr 4

p 355 Reconciling Responiveness with Performance in Pure
Object-Oriented Languages
by Urs Hölze and David Ungar
  Type feedback speculatively inlines dynamically dispatched calls
  based on profile information that predicts likely reciever classes.
  Adaptive optimization reconciles optimizing compilation with
  interactive performance by incrementally optimizing only the
  frequently executed parts of a program.

p 401 On Subtyping and Matching
by Martin Abadi and Luca Cardelli

p 455 Compositional Parallel Programming Languages
by Ian Foster
  Previous work has identified "compositionality" as an important
  design principle for task-parallel programs.
  We review two programming languages, Strand and Program Composition
  Notation [...]
  Compositional C++ and Fortran M represent an alternative approach to
  compositional programming [...]