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