Search: okmij.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Reversing Haskell typechecker (okmij.org)

30 points

15 years ago

32.

Strongly Typed Heterogeneous Collections (2004) [pdf] (okmij.org)

28 points

8 years ago

33.

Generating Mutually Recursive Definitions [pdf] (okmij.org)

27 points

7 years ago

34.

Modular, composable, typed optimizations in the tagless-final style (okmij.org)

25 points

12 years ago

35.

Differentiating Parsers (okmij.org)

23 points

17 years ago

36.

Lightweight Dependent-type Programming (2008) (okmij.org)

23 points

11 years ago

37.

Programming Language Reminiscence: R-Technology (okmij.org)

20 points

7 years ago

38.

Session Types without Sophistry – System Description [pdf] (okmij.org)

19 points

5 years ago

39.

An argument against call/cc (okmij.org)

15 points

14 years ago

40.

Lambda Calculus and Lambda Calculators (okmij.org)

11 points

12 years ago

41.

A Dream of an Ultimate OS (1995) (okmij.org)

10 points

7 years ago

42.

"Objects are a poor man's closures.." (OOP in Scheme) (okmij.org)

10 points

15 years ago

43.

XML and Scheme (okmij.org)

9 points

michaelsbradley

11 years ago

44.

Lambda: the ultimate syntax-semantics interface (okmij.org)

9 points

16 years ago

45.

IO monad realized in 1965 (okmij.org)

8 points

14 years ago

46.

Tagless-Final Style (2020) (okmij.org)

7 points

3 years ago

47.

Lambda Calculus and Lambda Calculators (okmij.org)

7 points

18 years ago

48.

Unix pipes as IO Monads (okmij.org)

5 points

18 years ago

49.

How OCaml's type checker works - or what polymorphism and GC have in common (okmij.org)

4 points

13 years ago

50.

Folding in Parallel (okmij.org)

4 points

12 days ago

51.

Having an Effect (2016) (okmij.org)

4 points

a year ago

52.

Highest-Performance Stream Processing in OCaml/Scala (okmij.org)

4 points

3 years ago

53.

Re-thinking Prolog (okmij.org)

3 points

12 years ago

54.

An argument against call/cc (okmij.org)

3 points

10 years ago

55.

Monadic i/o and UNIX shell programming (okmij.org)

3 points

16 years ago

56.

UNIX pipes as IO monads (okmij.org)

3 points

19 years ago

57.

Constructive Law of Excluded Middle (okmij.org)

3 points

13 years ago

58.

Efficient and Insightful Generalization (okmij.org)

3 points

13 years ago

59.

Matrix-matrix multiplication, from less conventional points of view (okmij.org)

3 points

2 months ago

60.

Implementing, and Understanding Type Classes (okmij.org)

3 points

2 years ago