Search: koka-lang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Koka: Strongly typed functional-style language with effect types and handlers (koka-lang.github.io)

219 points

2 years ago

2.

Koka: A functional language with effect types and handlers (koka-lang.github.io)

5 points

5 years ago

3.

The Koka Programming Language (koka-lang.github.io)

4 points

5 years ago

4.

An Introduction to the Koka Programming Language (koka-lang.github.io)

4 points

9 years ago

5.

The Koka Programming Language (koka-lang.github.io)

3 points

3 years ago

6.

Koka: A fast functional programming language with algebraic effects (koka-lang.github.io)

2 points

3 years ago

7.

The Koka Programming Language (koka-lang.github.io)

2 points

a year ago

8.

A Tour of Koka (an elegant programming language with Algebraic Effects) (koka-lang.github.io)

2 points

5 years ago

9.

The Koka Programming Language (koka-lang.github.io)

2 points

4 years ago

10.

Koka: A functional language with effect types and handlers (koka-lang.github.io)

2 points

5 years ago

11.

The Koka Programming Language (koka-lang.github.io)

1 point

3 years ago

12.

The Koka Programming Language (koka-lang.github.io)

1 point

5 years ago

13.

UTC time scales and leap second support in the Koka programming language (koka-lang.github.io)

1 point

7 years ago

14.

The Koka Book: An Introduction and Specification of the Koka Language (koka-lang.github.io)

1 point

9 years ago