caylee-hogg/linearlambda
A typechecker and interpreter for the linear lambda calculus as presented in the Pfenning course on linear logic
Developer Profile
caylee-hogg
Discovered public repositories for caylee-hogg in the GitHub catalog.
caylee-hogg/sf-in-isabelle
Public repository.
caylee-hogg/isabelle-semantics
A home for my various bits of work on isabelle & denotational semantics
caylee-hogg/agdalicious
A compiler and associate libraries for compiling a simple functional language to LLVM
caylee-hogg/javascript-interpreter
A small interpreter for the Good Parts of javascript, written in Haskell. Mostly for learning javascript by implementation.
caylee-hogg/dtgp
Dependently Typed Genetic Programming
caylee-hogg/pdx-ruby-course
Public repository.