Search: okmij.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

BER MetaOCaml (okmij.org)

2 points

10 years ago

92.

The curious case of test-driven development (okmij.org)

2 points

10 years ago

93.

Poly-variadic fix-point combinators for mutual recursion (okmij.org)

2 points

10 years ago

94.

A dream of an ultimate OS (2016) (okmij.org)

1 point

5 months ago

95.

The Next Stage of Staging: Type-level metaprogramming [pdf] (okmij.org)

1 point

11 years ago

96.

Purely Functional Lazy Non-deterministic Programming (okmij.org)

1 point

17 years ago

97.

Hansei: Embedded DSL for probabilistic models and nested inference (okmij.org)

1 point

17 years ago

98.

A brief history of (BER) MetaOCaml (okmij.org)

1 point

13 years ago

99.

An argument against call/cc (okmij.org)

1 point

13 years ago

100.

Subtyping, Subclassing, and Trouble with OOP (okmij.org)

1 point

2 months ago

101.

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

1 point

2 years ago

102.

Two misconceptions about closures (okmij.org)

1 point

14 years ago

103.

Low- and high-level macro programming in Scheme (okmij.org)

1 point

14 years ago

104.

Impredicativity Bites (okmij.org)

1 point

15 years ago

105.

C's pointers as closures in Scheme (okmij.org)

1 point

18 years ago

106.

Iteratee IO safe, practical, declarative input processing (okmij.org)

1 point

15 years ago

107.

Low- and high-level macro programming in Scheme (okmij.org)

1 point

15 years ago

108.

The Shonan Challenge for Generative Programming (2013) (okmij.org)

1 point

7 years ago

109.

R-Technology (okmij.org)

1 point

7 years ago

110.

How to generate optimal code with MetaOCaml (okmij.org)

1 point

8 years ago

111.

Lambda to SKI: a different view on the old translation (okmij.org)

1 point

8 years ago

112.

Ways of expressing 'bottom' in Haskell without resorting to unsafe operations (okmij.org)

1 point

8 years ago

113.

Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-Rules '13 [pdf] (okmij.org)

1 point

8 years ago

114.

Functional Programming Pot-Pourri (okmij.org)

1 point

9 years ago

115.

Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org)

1 point

9 years ago

116.

HANSEI as a Declarative Logic Programming Language for OCaml (okmij.org)

1 point

10 years ago

117.

Patch-Free Intercepting of System Calls (okmij.org)

1 point

10 years ago

118.

IO Monad Realized in 1965 (2012) (okmij.org)

1 point

11 years ago