Computer Science/Functional Programming

Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching
by Peter Gammie

Hello World
by Cornelius Diekmann and Lars Hupel

An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges
by Pasquale Noce

A General Theory of Syntax with Bindings
by Lorenzo Gheri and Andrei Popescu

Monadification, Memoization and Dynamic Programming
by Simon Wimmer, Shuwei Hu and Tobias Nipkow

Bounded Natural Functors with Covariance and Contravariance
by Andreas Lochbihler and Joshua Schneider

HOLCF-Prelude
by Joachim Breitner, Brian Huffman, Neil Mitchell and Christian Sternagel

Optics
by Simon Foster and Frank Zeyda

Probabilistic while loop
by Andreas Lochbihler

Monad normalisation
by Joshua Schneider, Manuel Eberl and Andreas Lochbihler

Effect polymorphism in higher-order logic
by Andreas Lochbihler

CryptHOL
by Andreas Lochbihler

Applicative Lifting
by Andreas Lochbihler and Joshua Schneider

Lifting Definition Option
by René Thiemann

Stream Fusion in HOL with Code Generation
by Andreas Lochbihler and Alexandra Maximova

XML
by Christian Sternagel and René Thiemann

Certification Monads
by Christian Sternagel and René Thiemann

Haskell's Show Class in Isabelle/HOL
by Christian Sternagel and René Thiemann

Mutually Recursive Partial Functions
by René Thiemann

A General Method for the Proof of Theorems on Tail-recursive Functions
by Pasquale Noce

Type Constructor Classes and Monad Transformers
by Brian Huffman

Coinductive
by Andreas Lochbihler

Stream Fusion
by Brian Huffman