DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Zipper (data structure)
Zipper (data structure)
Generic Haskell: Applications
Generic Programming with Dependent Types
Exploring the Regular Tree Types
Technical Report Handling Recursion in Generic Programming Using Closed Type Families
Zipper-Based File/OS1
Arxiv:1908.10926V1 [Cs.PL] 28 Aug 2019 Nenlprso Aasrcue Uhapitri Sal Alda Pointe Called Usually a Is Keep Pointer to a Ability Such Structure
Species: Making Analytic Functors Practical for Functional Programming
Combinatorial Species and Labelled Structures
Top View