Atlas home || Conferences | Abstracts | about Atlas
Host: Electrotechnical Laboratory (ETL)
Sponsor: Electrotechnical Laboratory (ETL), Japan Society of Software Science and Technology
Homepage: http://www.score.is.tsukuba.ac.jp/flops99/
Organizers: Aart Middeldorp, Taisuke Sato
Description:
The 4th Fuji International Symposium on Functional and Logic Programming solicits original papers in all areas of functional
and logic programming, including (but not limited to):
Applications: case studies, real-world applications, graphical user interfaces, functional logic programming and the
internet;
Foundations: lambda-calculus and rewrite systems, semantics, type theory, program transformation, verification;
Implementation: new compilation methods, garbage collection, parallelism, partial evaluation, distributed systems;
Language issues: constraints, concurrency, type systems, programming methodology, interfacing with other languages.
Speakers: Atsushi Ohori, Mario Rodríguez-Artalejo
Date received: September 27, 1999
© 2008 Atlas Conferences Inc.