Recursion Schemes

Nicolas Wu “Fantastic Morphisms and Where to Find Them – Part 1”, VeTSS Summer School 2024Подробнее

Nicolas Wu “Fantastic Morphisms and Where to Find Them – Part 1”, VeTSS Summer School 2024

Jim Duey - Recursion Schemes in Plain LanguageПодробнее

Jim Duey - Recursion Schemes in Plain Language

Understanding Recursion Schemes for Dependency-Driven Traversals in HaskellПодробнее

Understanding Recursion Schemes for Dependency-Driven Traversals in Haskell

[VMCAI'25] Space-Efficient Model-Checking of Higher-Order Recursion SchemesПодробнее

[VMCAI'25] Space-Efficient Model-Checking of Higher-Order Recursion Schemes

Understanding Recursion Schemes in Haskell: Implementing the Lambda Calculus RecursorПодробнее

Understanding Recursion Schemes in Haskell: Implementing the Lambda Calculus Recursor

Primitive Recursive Functions are Pure Iterative: Simplifications of the Recursion SchemeПодробнее

Primitive Recursive Functions are Pure Iterative: Simplifications of the Recursion Scheme

[POPL'18] Linearity in Higher-Order Recursion SchemesПодробнее

[POPL'18] Linearity in Higher-Order Recursion Schemes

[OCaml24] Recursion schemes in OCaml: An experience reportПодробнее

[OCaml24] Recursion schemes in OCaml: An experience report

[PLDI24] Recursive Program Synthesis using ParamorphismsПодробнее

[PLDI24] Recursive Program Synthesis using Paramorphisms

Introduction to Recursion Schemes • Amy Wong • YOW! 2018Подробнее

Introduction to Recursion Schemes • Amy Wong • YOW! 2018

0 - Introduction to Scheme Lists and RecursionПодробнее

0 - Introduction to Scheme Lists and Recursion

[POPL'23] A Type-Based Approach to Divide-and-Conquer Recursion in CoqПодробнее

[POPL'23] A Type-Based Approach to Divide-and-Conquer Recursion in Coq

Zero-knowledge proof composition and recursion. Part 9: BCTV14 paper walkthroughПодробнее

Zero-knowledge proof composition and recursion. Part 9: BCTV14 paper walkthrough

Zero-knowledge proof composition and recursion. Part 7: Deferred valuesПодробнее

Zero-knowledge proof composition and recursion. Part 7: Deferred values

Zero-knowledge proof composition and recursion. Part 6: cycles of curvesПодробнее

Zero-knowledge proof composition and recursion. Part 6: cycles of curves

Zero-knowledge proof composition and recursion. Part 5: PCD, IVC, and MinaПодробнее

Zero-knowledge proof composition and recursion. Part 5: PCD, IVC, and Mina

Zero-knowledge proof composition and recursion. Part 3: NovaПодробнее

Zero-knowledge proof composition and recursion. Part 3: Nova

Zero-knowledge proof composition and recursion. Part 4: Verifier circuitsПодробнее

Zero-knowledge proof composition and recursion. Part 4: Verifier circuits

Zero-knowledge proof composition and recursion. Part 1: overviewПодробнее

Zero-knowledge proof composition and recursion. Part 1: overview

Recursion schemes using `Fix` on a data-type that's already a Functor?Подробнее

Recursion schemes using `Fix` on a data-type that's already a Functor?

События