Search: jozefg.bitbucket.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Leaving Go (jozefg.bitbucket.org)

214 points

12 years ago

2.

An Explanation of Type Inference for ML/Haskell (jozefg.bitbucket.org)

101 points

11 years ago

3.

A Tiny Compiler for a Typed Higher-Order Language (jozefg.bitbucket.org)

71 points

11 years ago

4.

Please Don't Learn Category Theory (2013) (jozefg.bitbucket.org)

54 points

12 years ago

5.

Compiling a Lazy Language in 1,000 words (jozefg.bitbucket.org)

37 points

11 years ago

6.

A Twelf Introduction (jozefg.bitbucket.org)

23 points

11 years ago

7.

The Guts of a Spineless Machine (jozefg.bitbucket.org)

23 points

12 years ago

8.

A Crash Course on ML Modules (jozefg.bitbucket.org)

17 points

11 years ago

9.

A Proof of Church Rosser in Twelf (jozefg.bitbucket.org)

14 points

11 years ago

10.

Bargain-Priced Coroutines (jozefg.bitbucket.org)

6 points

12 years ago

11.

A Crash Course on ML Modules (jozefg.bitbucket.org)

5 points

9 years ago

12.

Introduction to Dependent Types: Haskell on Steroids (jozefg.bitbucket.org)

4 points

12 years ago

13.

Getting Proper Tail Calls Out of C (jozefg.bitbucket.org)

4 points

12 years ago

14.

Teaching Python with a Raspberry Pi (jozefg.bitbucket.org)

3 points

12 years ago

15.

JonPRL Tutorial – Proof Assistant for Computational Type Theory (jozefg.bitbucket.org)

2 points

11 years ago

16.

Observations about -XStaticPointers (jozefg.bitbucket.org)

2 points

11 years ago

17.

Teens and Functional Programming (2013) (jozefg.bitbucket.org)

2 points

11 years ago

18.

Functors and Recursion (jozefg.bitbucket.org)

2 points

12 years ago

19.

Please Don't Learn Category Theory (2013) (jozefg.bitbucket.org)

2 points

12 years ago

20.

A Crash Course on ML Modules (2015) (jozefg.bitbucket.org)

2 points

throwaway000002

10 years ago

21.

Bidirectional Type Checkers for λ→ and λΠ (jozefg.bitbucket.org)

1 point

12 years ago

22.

Dissecting crush (jozefg.bitbucket.org)

1 point

12 years ago

23.

Some Useful Agda (jozefg.bitbucket.org)

1 point

12 years ago

24.

Continuations and Exceptions (jozefg.bitbucket.org)

1 point

12 years ago

25.

Types and Kinds and Sorts, Oh My! (jozefg.bitbucket.org)

1 point

12 years ago