Search: okmij.org | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Reversing Haskell typechecker

15 years ago

30 points

32.

Strongly Typed Heterogeneous Collections (2004) [pdf]

8 years ago

28 points

33.

Generating Mutually Recursive Definitions [pdf]

7 years ago

27 points

34.

Modular, composable, typed optimizations in the tagless-final style

12 years ago

25 points

35.

Differentiating Parsers

17 years ago

23 points

36.

Lightweight Dependent-type Programming (2008)

11 years ago

23 points

37.

Programming Language Reminiscence: R-Technology

7 years ago

20 points

38.

Session Types without Sophistry – System Description [pdf]

5 years ago

19 points

39.

An argument against call/cc

14 years ago

15 points

40.

Lambda Calculus and Lambda Calculators

12 years ago

11 points

41.

A Dream of an Ultimate OS (1995)

7 years ago

10 points

42.

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

15 years ago

10 points

43.

11 years ago

michaelsbradley

9 points

44.

Lambda: the ultimate syntax-semantics interface

16 years ago

9 points

45.

IO monad realized in 1965

14 years ago

8 points

46.

Tagless-Final Style (2020)

3 years ago

7 points

47.

Lambda Calculus and Lambda Calculators

18 years ago

7 points

48.

Unix pipes as IO Monads

18 years ago

5 points

49.

How OCaml's type checker works - or what polymorphism and GC have in common

13 years ago

4 points

50.

Folding in Parallel

a month ago

4 points

51.

Having an Effect (2016)

a year ago

4 points

52.

Highest-Performance Stream Processing in OCaml/Scala

3 years ago

4 points

53.

Re-thinking Prolog

12 years ago

3 points

54.

An argument against call/cc

10 years ago

3 points

55.

Monadic i/o and UNIX shell programming

16 years ago

3 points

56.

UNIX pipes as IO monads

19 years ago

3 points

57.

Constructive Law of Excluded Middle

13 years ago

3 points

58.

Efficient and Insightful Generalization

13 years ago

3 points

59.

Matrix-matrix multiplication, from less conventional points of view

3 months ago

3 points

60.

Implementing, and Understanding Type Classes

2 years ago

3 points