Hacker News
- QML: A Functional Quantum Programming Language written in Haskell http://sneezy.cs.nott.ac.uk/QML/ 9 comments
- QML -- a functional quantum programming language http://sneezy.cs.nott.ac.uk/qml/ 22 comments programming
- Parser combinators are as expressive as possible http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=271 7 comments haskell
- Parser combinators are as expressive as possible http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=271 17 comments programming
- Indexing a coinductive type on a trace http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=185 3 comments haskell
- Monad transformers http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=84 26 comments programming
- Simple proof of stack correctness for a tiny language (in Agda) http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=71 2 comments programming