Skip to content

Latest commit

 

History

History
155 lines (97 loc) · 7.49 KB

reading.org

File metadata and controls

155 lines (97 loc) · 7.49 KB

Reading

Introductions

Clojure

Books

Transducers

  • Transducers From The Ground Up: Part 1 Part 2 (excellent introduction, archived)

System Design

Component

Functional Architecture

Event Drivern Architecture

Concurrency

Types, Schema and Spec

Functional Programming

Databases

Datomic

Lisp

Testing

Practices

Philosophy

Structure And Interpretation Of Computer Programs

MIT Video Lectures

Course Website

Book Remasters

Academic Work

Armstrong Thesis (2003)

Armstrong Thesis

Making reliable distributed systems in the presence of sodware errors

CSP

Communicating Sequential Processes - Hoare 1978

Communicating Sequential Processes book - Hoare 2015

Recursive Functions Of Symbolic Expressions (McCarthy 1960)

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

Streams

Stream Fusion, to Completeness

Backtracking, Interleaving, and Terminating Monad Transformers

Kanren

µKanren: A Minimal Functional Core for Relational Programming

Relational Programming in miniKanren: Techniques, Applications, and Implementations

Humor