Presentations for papers in the Journal of Functional Programming.
Accepted Papers
| Title | |
|---|---|
| A contextual formalization of structural coinduction JFP First Papers DOI | |
| A practical formalization of monadic equational reasoning in dependent-type theory JFP First Papers DOI | |
| A simple blame calculus for explicit nulls JFP First Papers DOI | |
| Binary search—think positive JFP First Papers DOI | |
| Bottom-up computation using trees of sublists JFP First Papers DOI | |
| Domain-specific tensor languages JFP First Papers DOI | |
| How much is in a square? Calculating functional programs with squares JFP First Papers DOI | |
| OCaml Blockly JFP First Papers DOI | |
| You could have invented Fenwick trees JFP First Papers DOI |