Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net) | HN Screenshots

YHacker Newsscreenshots

Screenshot of fdsa-book.net: Functional Data Structures and Algorithms: a Proof Assistant Approach

First screen, captured 11 months ago.

Looks similar

Screenshot of desislav.dev: Functional Programming with TypeScript's Type System

Functional Programming with TypeScript's Type System (desislav.dev)

74 points by evolveyourmind 3 years ago | 30 comments

Screenshot of cs.nott.ac.uk: Advanced Functional Programming Free Course

Advanced Functional Programming Free Course (cs.nott.ac.uk)

25 points by agomez314 2 years ago | 4 comments

Screenshot of arxiv.org: An introduction to functional analysis for science and engineering

An introduction to functional analysis for science and engineering (arxiv.org)

102 points by Anon84 4 months ago | 14 comments

Screenshot of jeffe.cs.illinois.edu: Algorithms (2019)

Algorithms (2019)(jeffe.cs.illinois.edu)

102 points by davikr 2 years ago | 19 comments

Screenshot of hica.dev: Functional Programming in hica

Functional Programming in hica (hica.dev)

39 points by cladamski79 3 months ago | 10 comments

Screenshot of tck.mn: Transcendental Algebra (2017)

Transcendental Algebra (2017)(tck.mn)

20 points by monksdream 3 years ago | 2 comments