Selected papers from the Fourth Symposium on Trends in Functional Programming (TFP03),
Edinburgh, United Kingdom, September 11--12 2003.
Stephen Gilmore (editor)
Intellect, Bristol, UK.
ISBN 1-84150-122-0
Is It Time for Real-Time Functional Programming? | 1-18 |
Kevin Hammond | |
FSM-Hume is Finite State | 19-28 |
Greg Michaelson and Kevin Hammond and Jocelyn Serot | |
Camelot and Grail: Resource-Aware Functional Programming for the JVM | 29-46 |
Kenneth MacKenzie and Nicholas Wolverson | |
O'Camelot: Adding Objects to a Resource-Aware Functional Language | 47-62 |
Nicholas Wolverson and Kenneth MacKenzie | |
Static Single Information from a Functional Perspective | 63-78 |
Jeremy Singer | |
Implementing Mobile Haskell | 79-94 |
Andre Rauber du Bois and Phil Trinder and Hans-Wolfgang Loidl | |
Testing Scheme Programming Assignments Automatically | 95-110 |
Manfred Widera | |
Testing Reactive Systems with GAST | 111-129 |
Pieter Koopman and Rinus Plasmeijr | |