Shortcut fusion rules for the derivation of circular and higher-order monadic programs
Functional programs often combine separate parts using intermediate data structures for communicating results. Programs so defined are modular, easier to understand and maintain, but suffer from inefficiencies due to the generation of those gluing data structures. To eliminate such redundant data st...
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | conferencePaper |
| Idioma: | eng |
| Publicado em: |
2009
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/36154 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/36154 |