1. Proofs of a set of hybrid let-polymorphic type inference algorithms

   • Hyunjun Eo
   • Oukseh Lee
   • Kwangkeun Yi

   Regular Papers Pages: 1 - 36

2. Circular attribute grammars with remote attribute references and their evaluators

   • Akira Sasaki
   • Masataka Sassa

   Regular Papers Pages: 37 - 60

3. Tutorial on ontological engineering Part 2: Ontology development, tools and languages

   • Riichiro Mizoguchi

   Tutorial Series Pages: 61 - 96