| | A Crash Course on ML Modules (jozefg.bitbucket.org) |
|
5 points by Athas on Dec 20, 2016 | past
|
|
| | A Crash Course on ML Modules (2015) (jozefg.bitbucket.org) |
|
2 points by throwaway000002 on July 15, 2016 | past
|
|
| | JonPRL Tutorial – Proof Assistant for Computational Type Theory (jozefg.bitbucket.org) |
|
2 points by jonsterling on July 6, 2015 | past
|
|
| | Compiling a Lazy Language in 1,000 words (jozefg.bitbucket.org) |
|
37 points by lelf on May 19, 2015 | past | 6 comments
|
|
| | A Proof of Church Rosser in Twelf (jozefg.bitbucket.org) |
|
14 points by colinprince on May 11, 2015 | past
|
|
| | A Tiny Compiler for a Typed Higher-Order Language (jozefg.bitbucket.org) |
|
71 points by colinprince on March 31, 2015 | past | 15 comments
|
|
| | A Twelf Introduction (jozefg.bitbucket.org) |
|
23 points by tel on March 2, 2015 | past | 1 comment
|
|
| | An Explanation of Type Inference for ML/Haskell (jozefg.bitbucket.org) |
|
101 points by bjz_ on March 2, 2015 | past | 12 comments
|
|
| | Observations about -XStaticPointers (jozefg.bitbucket.org) |
|
2 points by lelf on Jan 31, 2015 | past
|
|
| | A Crash Course on ML Modules (jozefg.bitbucket.org) |
|
17 points by lelf on Jan 8, 2015 | past
|
|
| | Teens and Functional Programming (2013) (jozefg.bitbucket.org) |
|
2 points by psibi on Dec 25, 2014 | past
|
|
| | Functors and Recursion (jozefg.bitbucket.org) |
|
2 points by colinprince on Nov 24, 2014 | past
|
|
| | Bidirectional Type Checkers for λ→ and λΠ (jozefg.bitbucket.org) |
|
1 point by tel on Nov 23, 2014 | past
|
|
| | The Guts of a Spineless Machine (jozefg.bitbucket.org) |
|
23 points by hecubus on Nov 13, 2014 | past | 1 comment
|
|
| | Introduction to Dependent Types: Haskell on Steroids (jozefg.bitbucket.org) |
|
4 points by tel on Aug 27, 2014 | past
|
|
| | Please Don't Learn Category Theory (2013) (jozefg.bitbucket.org) |
|
2 points by luu on Aug 17, 2014 | past
|
|
| | Bargain-Priced Coroutines (jozefg.bitbucket.org) |
|
6 points by luu on Aug 16, 2014 | past
|
|
| | Dissecting crush (jozefg.bitbucket.org) |
|
1 point by lelf on July 9, 2014 | past
|
|
| | Some Useful Agda (jozefg.bitbucket.org) |
|
1 point by lelf on June 29, 2014 | past
|
|
| | Teaching Python with a Raspberry Pi (jozefg.bitbucket.org) |
|
3 points by lelf on June 24, 2014 | past
|
|
| | Getting Proper Tail Calls Out of C (jozefg.bitbucket.org) |
|
4 points by lelf on May 6, 2014 | past
|
|
| | Leaving Go (jozefg.bitbucket.org) |
|
214 points by beNjiox on April 28, 2014 | past | 214 comments
|
|
| | Continuations and Exceptions (jozefg.bitbucket.org) |
|
1 point by lelf on April 16, 2014 | past
|
|
| | Types and Kinds and Sorts, Oh My! (jozefg.bitbucket.org) |
|
1 point by lelf on Feb 12, 2014 | past
|
|
| | Please Don't Learn Category Theory (2013) (jozefg.bitbucket.org) |
|
54 points by psibi on Jan 15, 2014 | past | 79 comments
|
|
