Papers of the Symposium on Trends in Functional Programming 2003-
Papers of the Symposium on Trends in Functional Programming 2003-
[CZ04]
Silvia Clerici and Cristina Zoltan.
A Graphic Functional-Dataflow Language.
In Loidl [Loi04], pages 122-144.
[DHD04]
Catherine Dubois, Therese Hardin, and Veronique Viguie Donzeau Gouge.
Building certified components within FOCAL.
In Loidl [Loi04], pages 33-48.
[DTL03]
Andre Rauber Du Bois, Phil Trinder, and Hans-Wolfgang Loidl.
Implementing Mobile Haskell.
In Gilmore [Gil03], pages 79-94.
ISBN 1-84150-122-0.
[EAP04]
Sander Evers, Peter Achten, and Rinus Plasmeijer.
Disjoint Forms in Graphical User Interfaces.
In Hans-Wolfgang Loidl, editor, Trends in Functional
Programming, volume 5, pages 113-128, Bristol, UK, 2004. Intellect.
[Gil03]
Stephen Gilmore, editor.
Trends in Functional Programming, volume 4, Edinburgh,
September 11-12, 2003. Intellect, Bristol, UK, 2005.
ISBN 1-84150-122-0.
[GUV04]
Neil Ghani, Tarmo Uustalu, and Varmo Vene.
Generalizing the AUGMENT.
In Loidl [Loi04], pages 65-78.
[Ham03]
Kevin Hammond.
Is It Time for Real-Time Functional Programming?
In Gilmore [Gil03], pages 1-18.
ISBN 1-84150-122-0.
[HW04]
Graham Hutton and Joel Wright.
Calculating an Exceptional Machine.
In Loidl [Loi04], pages 49-64.
[KP03]
Pieter Koopman and Rinus Plasmeijr.
Testing Reactive Systems with GAST.
In Gilmore [Gil03], pages 111-129.
ISBN 1-84150-122-0.
[Loi04]
Hans-Wolfgang Loidl, editor.
Trends in Functional Programming, volume 5, Munich, Germany,
November 25-26, 2004. Intellect, Bristol, UK, 2006.
[MHS03]
Greg Michaelson, Kevin Hammond, and Jocelyn Serot.
FSM-Hume is Finite State.
In Gilmore [Gil03], pages 19-28.
ISBN 1-84150-122-0.
[MW03]
Kenneth MacKenzie and Nicholas Wolverson.
Camelot and Grail: Resource-Aware Functional Programming for the
JVM.
In Gilmore [Gil03], pages 29-46.
ISBN 1-84150-122-0.
[Nem04]
Laszlo Nemeth.
Experiments with GHC's Optimiser.
In Loidl [Loi04], pages 97-112.
[Rei04]
Fermin Reig.
Generic proofs for combinator-based generic programs.
In Loidl [Loi04], pages 17-32.
[RLT+04]
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, and Gert
Smolka.
Alice Through the Looking Glass.
In Loidl [Loi04], pages 79-96.
[Sin03]
Jeremy Singer.
Static Single Information from a Functional Perspective.
In Gilmore [Gil03], pages 63-78.
ISBN 1-84150-122-0.
[TFP06]
TFP Web Page.
WWW page, April 2006.
[vvd04]
Ron van Kesteren, Marko van Eekelen, and Maarten de Mol.
Proof Support for General Type Classes.
In Loidl [Loi04], pages 1-16.
[Wid03]
Manfred Widera.
Testing Scheme Programming Assignments Automatically.
In Gilmore [Gil03], pages 95-110.
ISBN 1-84150-122-0.
[WM03]
Nicholas Wolverson and Kenneth MacKenzie.
O'Camelot: Adding Objects to a Resource-Aware Functional Language.
In Gilmore [Gil03], pages 47-62.
ISBN 1-84150-122-0.
