1:13:562017 04 28 - Andreas Lochbihler - Functional Programming and Proving in Isabelle/HOLSimon Meier3.8K viewsView & Download
28:04Functional Data Structures with Isabelle/HOL, Tutorial 1: Natural Numbers and ListsFDS 20203.9K viewsView & Download
2:52Functional Data Structures | OCaml Programming | Chapter 5 Video 4Michael Ryan Clarkson7.0K viewsView & Download
3:22Functional Data Structures and Algorithms : Building Blocks | packtpub.comPackt 379 viewsView & Download
4:38Advanced Functional Data Structures and Algorithms : The Course overview | packtpub.comPackt 468 viewsView & Download