Issue 1/2004
Content (3 Articles)
Regular Papers
Proofs of a set of hybrid let-polymorphic type inference algorithms
Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
Regular Papers
Circular attribute grammars with remote attribute references and their evaluators
Akira Sasaki, Masataka Sassa
Tutorial Series
Tutorial on ontological engineering Part 2: Ontology development, tools and languages
Riichiro Mizoguchi