The first Yafl conference has been held in March 1996, and attracted about 40 attendees. You can download the various papers that have been presented at this conference. Most of them are research papers, but some of them do describe projects that have gone into production.
| Author | Article | The same, compressed |
| Darius Blasband (Well, myself) | Of genericity and other deamons | Click here |
| William Nicora | YAM: the Yafl Abstract Machine | Click here |
| Jerôme Verstrynge | MoIS or Introducing Molten Ice in Yafl | Click here |
| Lionel Ferette | Cool: A Compiler as a Compiler/Compiler This work has been extended in Darius's thesis. | Click here |
| Marc Blasband (Beware: unlike other entries in this list, this document is in Microsoft Word format) | Using Yafl in a real world environment | Click here |
| Laurent Ferier | Global optimization in Yafl | Click here |
| Jean-Christophe Réal | Formally proving Yafl programs | Click here |