Streams with a Bottom in Functional Languages
No abstract available.
Related papers
- Bottom-up Grammar Analysis - A Functional Formulation ESOP 1994
- Bottom-up synthesis of recursive functional programs using angelic execution POPL 2022
- Bottom-up computation using trees of sublists JFP 2024
- Theorem Prover Support for the Refinement of Stream Processing Functions TACAS 1997
- Bottom-up shape analysis using LISF TOPLAS 2011
- Modelling Operating System Structures by Timed Stream Processing Functions JFP 1992
- Low-latency graph streaming using compressed purely-functional trees PLDI 2019
- Functional pearl: streams and unique fixed points ICFP 2008