programming
Home
PhD Thesis
Publications
Code
2020-09-29T02:37:01Z
:
It Is Never a Compiler Bug Until It Is
2017-10-10T00:17:46Z
:
Functor-Oriented Programming
2017-10-08T22:27:03Z
:
Taking Propositions as Types Seriously
2017-06-16T11:45:46Z
:
Some Random Thoughts of an Advanced Haskeller
2015-02-22T23:31:25Z
:
Parallel Evaluation of the Typed Lambda Calculus
2014-08-03T03:09:05Z
:
ICFP 2014 Post-Mortem
2014-04-22T14:29:11Z
:
How to Fake Dynamic Binding in Nix
2012-12-09T18:29:14Z
:
On the Static Nature of Traversals
2012-07-08T12:22:19Z
:
Confession of a Haskell Hacker
2012-06-23T10:49:01Z
:
Polymorphic Update with van Laarhoven Lenses
2011-11-19T21:15:04Z
:
Bug in OpenSSL?
2011-08-08T03:56:22Z
:
A Very General Method of Computing Shortest Paths
2011-05-20T22:02:01Z
:
I/O is not a monad
2010-06-27T19:50:27Z
:
ICFP 2010 Post-Mortem
2009-05-11T01:39:39Z
:
Object Oriented Programmer’s Productivity
2008-11-16T21:36:44Z
:
Haskell Lesson
2008-10-16T17:48:11Z
:
Stochastic Elections Canada 2008 Update
2008-07-16T13:12:35Z
:
ICFP 2008 Post-Mortem
2007-10-28T16:25:29Z
:
Continuation Passing Style for Monads
2007-08-20T17:59:38Z
:
Implementing the Kelly Criterion
2007-08-04T18:51:54Z
:
ICFP 2007 Post-Mortem
2007-08-02T18:07:47Z
:
Free Your Mind
2006-10-12T18:16:00Z
:
Functional Optimisation
2006-09-19T08:48:00Z
:
Y Combinator in Haskell
2006-08-09T11:53:00Z
:
Python on Planes
2006-07-09T15:31:00Z
:
SHA2 in Haskell
2006-07-07T18:43:00Z
:
Lazy vs. Strict
2006-03-10T20:36:00Z
:
TFP 2006
2005-12-03T09:02:00Z
:
Software Transactional Memory
2005-10-21T18:57:00Z
:
Piecewise Continuous Functions
2005-09-28T19:54:00Z
:
Murphy’s Law
2005-08-20T10:09:00Z
:
Few Digits
2005-07-08T19:13:00Z
:
Haskell Plotting
2005-02-25T21:14:00Z
:
Non-homogeneous Inductive Types
2005-02-07T18:52:00Z
:
Free Software and Esperanto
2005-02-04T10:38:00Z
:
Short Haskell Programs
2005-01-09T18:59:00Z
:
Graphics
2005-01-02T05:07:00Z
:
Basic
2004-09-17T02:16:00Z
:
mutable const
2004-09-05T00:07:00Z
:
More Haste, Less Speed
2004-08-15T23:51:00Z
:
Fun Things to Do If You Are Lazy
2004-06-11T22:33:00Z
:
Defensive Programming
2004-05-30T20:31:00Z
:
Programming in C++ is Not Humanly Possible
2003-09-13T03:38:00Z
:
Prisoners Dilemma Inverse Problem
Russell O’Connor
:
contact me