Posts tagged "Haskell"

Deriving a LinearTime Applicative Traversal of a Rose Tree  May 28, 2019

Implicit Corecursive Queues  May 14, 2019

Concatenative Programming; The Free Monoid of Programming Languages  May 11, 2019

Some Tricks for List Manipulation  May 8, 2019

Permutations By Sorting  March 24, 2019

Lazy Binary Numbers  March 21, 2019

A Binomial Urn  January 15, 2019

Balancing Scans  December 21, 2018

Pure and Lazy BreadthFirst Traversals of Graphs in Haskell  December 18, 2018

Keeping Formal Verification in Bounds  November 20, 2018

A Very Simple Prime Sieve in Haskell  November 10, 2018

Total Combinations  October 16, 2018

Verified AVL Trees in Haskell and Agda  July 30, 2018

Probabilistic Functional Programming  July 17, 2018

Probability 5 Ways  June 30, 2018

Scheduling Effects  June 23, 2018

BreadthFirst Traversals in Far Too Much Detail  June 3, 2018

BreadthFirst Rose Trees: Traversals and the Cofree Comonad  June 1, 2018

Sorting Small Things in Haskell  May 6, 2018

TypeLevel Induction in Haskell  May 5, 2018

5 Cool Things You Can Do With Pattern Synonyms  April 12, 2018

Countdown  March 20, 2018

Rose Trees, BreadthFirst  March 17, 2018

SinglePass Huffman Coding  February 17, 2018

Monadic List Functions  February 11, 2018

groupBy  January 7, 2018

Balancing Folds  October 30, 2017

Convolutions and Semirings  October 13, 2017

Applicative Arithmetic  September 25, 2017

Verifying Data Structures in Haskell  April 23, 2017

Fun with Recursion Schemes  March 30, 2017

Constrained Applicatives  March 8, 2017

Semirings  November 17, 2016

Probability Trees  September 30, 2016

A Different Probability Monad  September 27, 2016

Revisiting a Trie in Haskell  September 26, 2016

Folding Two Things at Once  April 17, 2016

A Trie in Haskell  October 6, 2015

Monty Hall  August 3, 2015