Type theory and functional programming. (1999) [pdf] (cs.cornell.edu) | HN Screenshots

YHacker Newsscreenshots

Screenshot of cs.cornell.edu: Type theory and functional programming. (1999) [pdf]

First screen, captured 1 year ago.

Looks similar

Screenshot of cs.cornell.edu: Type Theory and Functional Programming (1999) [pdf]

Type Theory and Functional Programming (1999) [pdf](cs.cornell.edu)

179 points by fanf2 1 year ago | 65 comments

Screenshot of cse.chalmers.se: Programming in Martin-Lof's Type Theory: An Introduction (1990)

Programming in Martin-Lof's Type Theory: An Introduction (1990)(cse.chalmers.se)

42 points by todsacerdoti 1 year ago | 0 comments

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 blog.sulami.xyz: What Is Type-Level Programming?

What Is Type-Level Programming?(blog.sulami.xyz)

54 points by bo0tzz 3 years ago | 45 comments

Screenshot of courses.csail.mit.edu: Mathematics for Computer Science (2018) [pdf]

Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)

366 points by vismit2000 9 months ago | 62 comments

PDF of the 2018 revision of the MIT textbook Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.

discrete-mathematics mit computer-science textbook