A Useful Bounded Resource Functional Language.

Michael J. Burrell, James H. Andrews, Mark Daley

Browse the full SOFSEM paper archive.