🦞🌯 Lobster Roll

Stories by jozefg

Learn Type Theory (github.com)
Add a Compilers Tag
Would it be useful to folks to have a compilers tag? I'm certainly interested in reading articles about compilers but their harder to find when scattered across different languages or in the catch-all compsci tag. Here's the [original suggestion for this tag](https://lobste.rs/s/hpsyea/why_is_it_...
A Tiny Compiler For A Typed Higher Order Language (jozefg.bitbucket.org)
A Package Manager for C: clibs/clib (github.com)
A Graph Model of the Lambda Calculus (github.com)
Hi folks. It's been like a year and half since I've publicly shared something I've written but I figured someone might find these notes interesting. Please comment if you have any questions. Hopefully I'll be sharing more sometime soon.
The Guts of a Spineless Machine (jozefg.bitbucket.org)
C&C - Teaching Python with a Raspberry Pi (jozefg.bitbucket.org)
Technical Lectures on Programming Languages and Logic [2012] (cs.uoregon.edu)
Treating Programs like Vending Machines - Notes on Coinduction (jozefg.bitbucket.org)
Notes on Linear Logic (cs.cmu.edu)
Introduction to Domain Theory (cs.nott.ac.uk)
Bidirectional Type Checkers for λ→ and λΠ (jozefg.bitbucket.org)
The Ur Programming Language Family (impredicative.com)
GHC 7.10.1 Released! (mail.haskell.org)
C&C - Examining Hackage: logict (jozefg.bitbucket.org)
C&C - Grokking recursion-scheme: Part 1 (jozefg.bitbucket.org)