Protien Folding meets Functional Programming
Abstract
No abstract available.
Related papers
- Folding domain-specific languages: deep and shallow embeddings (functional Pearl) ICFP 2014
- A Tutorial on the Universality and Expressiveness of Fold JFP 1999
- Synthesizing data structure transformations from input-output examples PLDI 2015
- Factorising folds for faster functions JFP 2010
- Folding left and right over Peano numbers JFP 2019
- Folding left and right matters: Direct style, accumulators, and continuations JFP 2023
- Fold and Unfold for Program Semantics ICFP 1998
- Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant JFP 2022