Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Haskell vs. Ada vs. C++ vs. an Experiment in Prototyping Productivity (1994) [pdf]

Curly-Cue: Geometric Methods for Highly Coiled Hair

Curly-Cue: Geometric Methods for Highly Coiled Hair

Perlis's Programming Epigrams

C. Hoare: Hints on programming language design (1973) [pdf]

Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994)

Perlisms – “Epigrams in Programming”

Eliminating Format from Lisp (2003)

Notes on Theory of Distributed Systems

Spectral and Algebraic Graph Theory

The Haskell School of Music (2012)

Perlis' Epigrams (1982)

Open Problems in Distributed Computing (2006)

120 Programming Epigrams (1982)

An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code

Haskell, Ada, C++: An Experiment in Prototyping Productivity (1994)

(pdf) Notes on Theory of Distributed Systems (Yale CPSC 465/565: Fall 2017 Course Notes)

Arrows, Robots, and Functional Reactive Programming (2002)

The Haskell School of Music – From Signals to Symphonies (2014)

Notes on Discrete Mathematics

Automatic Generation of Normalized Relational Schemas from Nested Key-Value Data

Yale Data Structures with C

PIOS - Parallel Instructional Operating System

Haskell vs. Ada vs. C++ an Experiment in Software Prototyping Productivity (1994)

Why ML/OCaml are good for writing compilers

Mio: A High-Performance Multicore IO Manager for GHC (2013)

Types of Edges in DFS

Haskell vs. Ada vs. C++ vs. Awk vs

CertiKOS: An Extenisble Architecture for Building Certified Concurrent OS Kernels

Notes on CPSC 465/565: Theory of Distributed Systems

More →