Arthur Nunes-Harwitt's Essays on Computing

Here is a collection of essays I've written on topics in Computer Science. I'm interested in the point where theory meets practice. The first essay is a practical introduction to the topic of "unification." The second is a review of the quick sort algorithm. The third discusses the monadic transform. The fourth is a paper about a novel approach to parsing. (Other essays are on their way.)

A practical introduction to unification with working Scheme code. pdf
A review of the quicksort algorithm (also with working Scheme code). pdf
An original result having to do with a generalization of the CPS transform. pdf
An original result on parsing published in the proceedings of the 2003 International LISP Conference. pdf

To tell me if you liked one of these essays, click here.