Proofs of a set of hybrid let-polymorphic type inference algorithms Hyunjun EoOukseh LeeKwangkeun Yi Regular Papers Pages: 1 - 36
Circular attribute grammars with remote attribute references and their evaluators Akira SasakiMasataka Sassa Regular Papers Pages: 37 - 60
Tutorial on ontological engineering Part 2: Ontology development, tools and languages Riichiro Mizoguchi Tutorial Series Pages: 61 - 96