Computer science/Functional programming

Subject Classification

ACM: Software and its engineering~Functional languages

AMS: Computer science / Theory of software / Functional programming and lambda calculus

2024

More Operations on Lazy Lists

by Andrei Popescu and Jamie Wright

May 24

2020

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

by Peter Gammie

Aug 25

Hello World

by Cornelius Diekmann and Lars Hupel

Mar 07

2019

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

by Pasquale Noce

Dec 04

A General Theory of Syntax with Bindings

by Lorenzo Gheri and Andrei Popescu

Apr 06

2018

Monadification, Memoization and Dynamic Programming

by Simon Wimmer, Shuwei Hu and Tobias Nipkow

May 22

Bounded Natural Functors with Covariance and Contravariance

by Andreas Lochbihler and Joshua Schneider

Apr 24

2017

HOLCF-Prelude

by Joachim Breitner, Brian Huffman, Neil Mitchell and Christian Sternagel

Jul 15

Optics

by Simon Foster, Christian Pardillo-Laursen and Frank Zeyda

May 25

Probabilistic while loop

by Andreas Lochbihler

May 05

Monad normalisation

by Joshua Schneider, Manuel Eberl and Andreas Lochbihler

May 05

Effect polymorphism in higher-order logic

by Andreas Lochbihler

May 05

CryptHOL

by Andreas Lochbihler

May 05

2015

Applicative Lifting

by Andreas Lochbihler and Joshua Schneider

Dec 22

2014

Lifting Definition Option

by René Thiemann

Oct 13

Stream Fusion in HOL with Code Generation

by Andreas Lochbihler and Alexandra Maximova

Oct 10

XML

by Christian Sternagel, René Thiemann and Akihisa Yamada

Oct 03

Certification Monads

by Christian Sternagel and René Thiemann

Oct 03

Haskell's Show Class in Isabelle/HOL

by Christian Sternagel and René Thiemann

Jul 29

Mutually Recursive Partial Functions

by René Thiemann

Feb 18

2013

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

by Pasquale Noce

Dec 01

2012

Type Constructor Classes and Monad Transformers

by Brian Huffman

Jun 26

2010

Coinductive

by Andreas Lochbihler

Feb 12

2009

The Worker/Wrapper Transformation

by Peter Gammie

Oct 30

Stream Fusion

by Brian Huffman

Apr 29