Search: okmij.org | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Lambda to Ski, Semantically [pdf]

2 years ago

3 points

62.

Subtyping, Subclassing, and Trouble with OOP

14 years ago

3 points

63.

Free Variables and Free Effects

3 years ago

3 points

64.

Quick implementation of logic programming in Scheme

15 years ago

3 points

65.

Subtyping, Subclassing, and Trouble with OOP

16 years ago

3 points

66.

Freer Monads, More Extensible Effects [pdf]

11 years ago

3 points

67.

Recording neuron spikes on a stock IBM PC AT

5 years ago

2 points

68.

Extensible Effects

12 years ago

2 points

69.

How to generate optimal code with MetaOCaml

13 years ago

2 points

70.

Monadic i/o and Unix shell programming

13 years ago

2 points

71.

Folding in Parallel

9 months ago

2 points

72.

Undelimited continuations are not functions

14 years ago

2 points

73.

Patterns of Data Flow in Words

2 years ago

2 points

74.

Subtyping, Subclassing, and Trouble with OOP

18 years ago

2 points

75.

3 years ago

2 points

76.

Subtyping, Subclassing, and Trouble with OOP

3 years ago

2 points

77.

Writing LaTeX mathematical papers with SXML

14 years ago

2 points

78.

Expressing delimited continuation operators in terms of each other.

14 years ago

2 points

79.

Towards the Best Collection API

15 years ago

2 points

80.

HANSEI: Embedded Probabilistic Programming

15 years ago

2 points

81.

OOP in FP (1999)

4 years ago

2 points

82.

Grasping `All-the-Apples-at-Once'

4 years ago

2 points

83.

Poster/Slides Directly in PostScript

5 years ago

2 points

84.

Unix pipes as IO monads

15 years ago

2 points

85.

An argument against call/cc (2012)

6 years ago

2 points

86.

The "best" collection traversal interface

15 years ago

2 points

87.

Zipper-Based File/OS (Haskell Workshop 2005) [pdf]

7 years ago

2 points

88.

7 years ago

2 points

89.

Finally Tagless, Partially Evaluated [pdf]

7 years ago

2 points

90.

List of Interesting Essays on Programming and Computation

18 years ago

2 points