Content Analysis: Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 1: Natural Numbers and Lists
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 4: Tree Enumeration and Binary Search Trees
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 13: Amortised Complexity
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 14: Refinement and Code Generation
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 12: Binomial Heaps and Sparse Binary Numbers
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 11: Leftist Heaps and Queues
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 6: Time Complexity and Sort Stability
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 10: Tries
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL, Tutorial 3: Binary Search Trees Joining and Deletion
Functional Data Structures with Isabelle
Functional Data Structures with Isabelle/HOL: Weak heaps, sparse matrices and Collatz conjecture
Student project presentations.
Functional Data Structures with Isabelle/HOL, Tutorial 5: Summations, Powers, and Factorials
Functional Data Structures with Isabelle
"Exotic Functional Data Structures: Hitchhiker Trees" by David Greenberg
Functional data structures
Functional Data Structures with Isabelle/HOL, Tutorial 2: Folding Over Lists and Shuffling Lists
Functional Data Structures with Isabelle