This web interface allows experimenting with a type-based static analysis for predicting cost upper-bounds for a minimal lazy functional language. The analysis employs amortisation and an effect system for dealing with higher-order and co-recursive definitions. The principles behind this implementation are described in a journal publication; a draft PDF is available from the my home page.
To begin, select one example and click 'Run Analysis'. You may also choose a diferent cost model, modify the program or type in your own example.