|
|
|
| 1 |
Building certified components within FOCAL |
Catherine Dubois, Thérése Hardin, Véronique Viguié Donzeau Gouge |
| 2 |
Generic proofs for combinator-based generic programs |
Fermin Reig |
| 3 |
Calculating an Exceptional Machine |
Graham Hutton, Joel Wright |
| 8 |
Alice Through the Looking Glass |
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka |
| 9 |
Disjoint Forms in Graphical User Interfaces |
Sander Evers, Peter Achten, Rinus Plasmeijer |
| 12 |
A Graphic Functional-Dataflow Language |
Silvia Clerici, Cristina Zoltan |
| 17 |
Experiments with GHC's Optimiser |
Laszlo Nemeth |
| 18 |
Proof Support for General Type Classes |
Ron van Kesteren, Marko van Eekelen, Maarten de Mol |
| 23 |
Generalizing the AUGMENT |
Neil Ghani, Tarmo Uustalu, Varmo Vene |
