Newest Stories by jozefg | Lobsters

12

A Graph Model of the Lambda Calculus ☶ math github.com
authored by jozefg 1 year ago | cached | 11 comments

11
32

Learn Type Theory compsci github.com
authored by jozefg 3 years ago | cached | 17 comments

17
4

GHC 7.10.1 Released! haskell mail.haskell.org
via jozefg 3 years ago | cached | no comments

0
14

A Tiny Compiler For A Typed Higher Order Language compilers haskell jozefg.bitbucket.org
via jozefg 3 years ago | cached | 1 comment

1
23

Add a Compilers Tag ☶ compilers meta
via jozefg 3 years ago | 5 comments

5
7

Introduction to Domain Theory compsci math cs.nott.ac.uk
via jozefg 3 years ago | cached | 2 comments

2
14

A Package Manager for C: clibs/clib c programming github.com
via jozefg 3 years ago | cached | no comments

0
9

Treating Programs like Vending Machines - Notes on Coinduction compsci haskell jozefg.bitbucket.org
via jozefg 3 years ago | cached | 3 comments

3
7

Bidirectional Type Checkers for λ→ and λΠ compsci haskell jozefg.bitbucket.org
via jozefg 3 years ago | cached | 8 comments

8
10

Technical Lectures on Programming Languages and Logic [2012] compsci cs.uoregon.edu
via jozefg 3 years ago | cached | 2 comments

2
11

The Guts of a Spineless Machine haskell jozefg.bitbucket.org
via jozefg 3 years ago | cached | 1 comment

1
9

Notes on Linear Logic compsci math cs.cmu.edu
via jozefg 3 years ago | cached | no comments

0
3

C&C - Examining Hackage: logict haskell jozefg.bitbucket.org
via jozefg 4 years ago | cached | 1 comment

1
11

C&C - Teaching Python with a Raspberry Pi compsci jozefg.bitbucket.org
via jozefg 4 years ago | cached | 9 comments

9
1

C&C - Grokking recursion-scheme: Part 1 haskell jozefg.bitbucket.org
via jozefg 4 years ago | cached | no comments

0
6

The Ur Programming Language Family compsci web impredicative.com
via jozefg 4 years ago | cached | no comments

0