Search: okmij.org | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

10 years ago

2 points

92.

The curious case of test-driven development

10 years ago

2 points

93.

Poly-variadic fix-point combinators for mutual recursion

10 years ago

2 points

94.

A dream of an ultimate OS (2016)

6 months ago

1 points

95.

The Next Stage of Staging: Type-level metaprogramming [pdf]

11 years ago

1 points

96.

Purely Functional Lazy Non-deterministic Programming

17 years ago

1 points

97.

Hansei: Embedded DSL for probabilistic models and nested inference

17 years ago

1 points

98.

A brief history of (BER) MetaOCaml

13 years ago

1 points

99.

An argument against call/cc

13 years ago

1 points

100.

Subtyping, Subclassing, and Trouble with OOP

2 months ago

1 points

101.

A Dream of an Ultimate OS (1995)

2 years ago

1 points

102.

Two misconceptions about closures

14 years ago

1 points

103.

Low- and high-level macro programming in Scheme

14 years ago

1 points

104.

Impredicativity Bites

15 years ago

1 points

105.

C's pointers as closures in Scheme

18 years ago

1 points

106.

Iteratee IO safe, practical, declarative input processing

15 years ago

1 points

107.

Low- and high-level macro programming in Scheme

15 years ago

1 points

108.

The Shonan Challenge for Generative Programming (2013)

7 years ago

1 points

109.

7 years ago

1 points

110.

How to generate optimal code with MetaOCaml

8 years ago

1 points

111.

Lambda to SKI: a different view on the old translation

8 years ago

1 points

112.

Ways of expressing 'bottom' in Haskell without resorting to unsafe operations

8 years ago

1 points

113.

Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-Rules '13 [pdf]

8 years ago

1 points

114.

Functional Programming Pot-Pourri

9 years ago

1 points

115.

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

10 years ago

1 points

116.

HANSEI as a Declarative Logic Programming Language for OCaml

10 years ago

1 points

117.

Patch-Free Intercepting of System Calls

10 years ago

1 points

118.

IO Monad Realized in 1965 (2012)

11 years ago

1 points