1. Current Trends in Logical Frameworks and Metalanguages

   • David Basin
   • Amy Felty

   Editorial Introduction Pages: 1 - 2

2. An Implementation of LF with Coercive Subtyping & Universes

   • Paul Callaghan
   • Zhaohui Luo

   OriginalPaper Pages: 3 - 27

3. A Calculus of Lambda Calculus Contexts

   • Mirna Bognar
   • Roel de Vrijer

   OriginalPaper Pages: 29 - 59

4. Studies of a Theory of Specifications with Built-in Program Extraction

   • Paula Severi
   • Nora Szasz

   OriginalPaper Pages: 61 - 87