| post | 2017-06-25 |
Threading responsibly |
| post | 2017-06-19 |
Configurable data types |
| post | 2017-05-19 |
A well-typed suspension calculus |
| post | 2017-02-11 |
Persistent SSH sessions with proper scrollback |
| post | 2017-01-18 |
Speeding up a distributed computation in Haskell |
| talk | 2016-10-17 |
Haskell and OpenCV: theory and practice |
| paper | 2016-10-03 |
Type Checking through Unification |
| talk | 2016-09-13 |
Parallelizing and distributing scientific software in Haskell |
| report | 2016-05-30 |
Scaling up a scientific computation |
| post | 2015-07-05 |
perf for low-level Haskell profiling |
| post, talk | 2015-05-20 |
inline-c: Call C functions from Haskell without bindings |
| post | 2015-04-27 |
Flame graphs for GHC time profiles |
| post | 2013-08-13 |
Graphs: a Balancing Act |
| post, talk | 2013-08-10 |
Agda by Example: λ-calculus |
| post | 2013-04-19 |
Literate Agda and Hakyll |
| post | 2013-04-01 |
Agda by Example: Sorting |
| post | 2012-02-27 |
Haskell, Python, and Readability |