Atlas home || Conferences | Abstracts | about Atlas
Host: Les hôtels Poulard "La mère Poulard" et "Terrasses Poulard"
Sponsor: INRA, l'Université d'Evry
Homepage: http://pauillac.inria.fr/jfla/2000/
Organizers: Catherine Dubois (Présidente)
Description:
Des contributions sur les thèmes suivants sont particulièment recherchées :
Langages fonctionnels : sémantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation, Utilisation industrielle de langages fonctionnels, Spécification, prototypage, développements formels d'algorithmes, preuves de propriétés à l'aide de systèmes d'aide à la preuve, Programmation fonctionnelle et enseignement.
Date received: November 24, 1999
© 2008 Atlas Conferences Inc.