scmu/mds

Stars
2
Language Agda
Created over 9 years ago
Updated over 9 years ago

scmu/mds

scmu

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Code and Proofs Related to the Paper "Functional Pearl: Finding a Densest Segment"

aopa

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

foundations-harper

Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.

mrm

Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types

monad-reasoning

guabao-paper

plfp

queueing-glueing

An algorithmic pattern that provides amortised linear time solutions to a number of optimal list partition problems that have a peculiar property: at various moments we know that two of three candidate solutions could be optimal.