Home
Welcome to my outdated blog.
This was a personal blog. I leave these posts around to preserve links
Please refer to jozefg.github.io for a more recent page.
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