HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Leaving Go
jozefg.bitbucket.org
214 comments
12 years ago
beNjiox
214 points
2.
▲
An Explanation of Type Inference for ML/Haskell
jozefg.bitbucket.org
12 comments
11 years ago
bjz_
101 points
3.
▲
A Tiny Compiler for a Typed Higher-Order Language
jozefg.bitbucket.org
15 comments
11 years ago
colinprince
71 points
4.
▲
Please Don't Learn Category Theory (2013)
jozefg.bitbucket.org
79 comments
12 years ago
psibi
54 points
5.
▲
Compiling a Lazy Language in 1,000 words
jozefg.bitbucket.org
6 comments
11 years ago
lelf
37 points
6.
▲
A Twelf Introduction
jozefg.bitbucket.org
1 comment
11 years ago
tel
23 points
7.
▲
The Guts of a Spineless Machine
jozefg.bitbucket.org
1 comment
12 years ago
hecubus
23 points
8.
▲
A Crash Course on ML Modules
jozefg.bitbucket.org
discuss
11 years ago
lelf
17 points
9.
▲
A Proof of Church Rosser in Twelf
jozefg.bitbucket.org
discuss
11 years ago
colinprince
14 points
10.
▲
Bargain-Priced Coroutines
jozefg.bitbucket.org
discuss
12 years ago
luu
6 points
11.
▲
A Crash Course on ML Modules
jozefg.bitbucket.org
discuss
10 years ago
Athas
5 points
12.
▲
Introduction to Dependent Types: Haskell on Steroids
jozefg.bitbucket.org
discuss
12 years ago
tel
4 points
13.
▲
Getting Proper Tail Calls Out of C
jozefg.bitbucket.org
discuss
12 years ago
lelf
4 points
14.
▲
Teaching Python with a Raspberry Pi
jozefg.bitbucket.org
discuss
12 years ago
lelf
3 points
15.
▲
JonPRL Tutorial – Proof Assistant for Computational Type Theory
jozefg.bitbucket.org
discuss
11 years ago
jonsterling
2 points
16.
▲
Observations about -XStaticPointers
jozefg.bitbucket.org
discuss
11 years ago
lelf
2 points
17.
▲
Teens and Functional Programming (2013)
jozefg.bitbucket.org
discuss
11 years ago
psibi
2 points
18.
▲
Functors and Recursion
jozefg.bitbucket.org
discuss
12 years ago
colinprince
2 points
19.
▲
Please Don't Learn Category Theory (2013)
jozefg.bitbucket.org
discuss
12 years ago
luu
2 points
20.
▲
A Crash Course on ML Modules (2015)
jozefg.bitbucket.org
discuss
10 years ago
throwaway000002
2 points
21.
▲
Bidirectional Type Checkers for λ→ and λΠ
jozefg.bitbucket.org
discuss
12 years ago
tel
1 points
22.
▲
Dissecting crush
jozefg.bitbucket.org
discuss
12 years ago
lelf
1 points
23.
▲
Some Useful Agda
jozefg.bitbucket.org
discuss
12 years ago
lelf
1 points
24.
▲
Continuations and Exceptions
jozefg.bitbucket.org
discuss
12 years ago
lelf
1 points
25.
▲
Types and Kinds and Sorts, Oh My!
jozefg.bitbucket.org
discuss
12 years ago
lelf
1 points