Home
Welcome to Code & Co.
This is my personal blog with my thoughts on computer science, juggling, logic, and whatever else interests me. I hope you enjoy it.
Recent Posts
- Runtime Tagging - October 12, 2015
- Two Different Flavors of Type Theory - September 27, 2015
- Type is not in Type - August 26, 2015
- Solving Recursive Equations - August 14, 2015
- Learn Type Theory - August 14, 2015
- Coinduction in JonPRL for Low Low Prices - July 17, 2015
- A Basic Tutorial on JonPRL - July 6, 2015
- Proving Cut Admissibility in Twelf - June 29, 2015
- Examining Hackage: pipes - June 1, 2015
- Compiling a Lazy Language in 1,000 words - May 19, 2015
- A Proof of Church Rosser in Twelf - May 5, 2015
- Bracket Abstraction: The Smallest PL You've Ever Seen - May 1, 2015
- Compiling With CPS - April 30, 2015
- SML for Haskellers - April 24, 2015
- Value vs Monomorphism Restriction - March 27, 2015
- A Tiny Compiler For A Typed Higher Order Language - March 24, 2015
- Worlds in Twelf - March 7, 2015
- An Explanation of Type Inference for ML/Haskell - February 28, 2015
- A Twelf Introduction - February 28, 2015
- Notes on Proof Theory: Part 1 - February 11, 2015