Functional Stacks Ocaml Programming Chapter

Defining a persistent

Definitions of module types for the

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=vagyIcmIGOQ Thank you for listening ❤ Check out our ...

How to design the equations in an algebraic specification based on the kinds of operations: generators, manipulators, and queries ...

Reasons why we use

An equational specification uses algebraic equations to specify the correctness of a data abstraction. An example is given for ...

How to implement queues

What is

OCaml

Functors, which is a funny name for an elegant concept: functions on modules Textbook: https://cs3110.github.io/textbook.

How to implement the `map`

Lane chats with Sabine, one of the primary maintainers of

Representation invariants can be implemented and used to

Several reasons why you should learn

Comparing the difference between `open` and `include` in modules Textbook: https://cs3110.github.io/textbook.

Hash tables are efficient imperative maps. How efficient can a purely

The basics of