Search: cse.chalmers.se | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: Notes on Lambda calculus with exercises and solutions?

8 years ago

1 points

2.

Why Functional Programming Matters (1984) [pdf]

cse.chalmers.se

10 years ago

181 points

3.

Haskell’s State monad is not a monad (2014)

cse.chalmers.se

8 years ago

103 points

4.

Vampire: First-Order Theorem Proving [pdf]

cse.chalmers.se

7 years ago

68 points

5.

Programming in Martin-Lof's Type Theory: An Introduction (1990)

cse.chalmers.se

a year ago

59 points

6.

A Perspective on Information-Flow Control (2011) [pdf]

cse.chalmers.se

11 years ago

19 points

7.

Finite Automata and Their Decision Problems (1959)

cse.chalmers.se

11 years ago

10 points

8.

The Prettiest Printer

cse.chalmers.se

12 years ago

9 points

9.

An Optimized Soft Shadow Volume Algorithm with Real-Time Performance [pdf]

cse.chalmers.se

6 months ago

7 points

10.

Why Functional Programming Matters[pdf]

cse.chalmers.se

13 years ago

6 points

11.

Why Functional Programming Matters (1984) [pdf]

cse.chalmers.se

6 years ago

5 points

12.

Why Functional Programming Matters

cse.chalmers.se

14 years ago

4 points

13.

Designing and Using Combinators: The Essence of Functional Programming

cse.chalmers.se

5 months ago

4 points

14.

A Very Small SAT Solver

cse.chalmers.se

8 years ago

4 points

15.

WWWBrowser, a browser written in Haskell in 1994

cse.chalmers.se

8 years ago

4 points

16.

Programming with Arrows [pdf]

cse.chalmers.se

9 years ago

4 points

17.

Implementation of Dependent Types

cse.chalmers.se

a year ago

3 points

18.

McCulloch and Pitts – Logical Calculus of the Ideas Immanent in Nervous Activity [pdf]

cse.chalmers.se

3 years ago

3 points

19.

Dependent Types at Work (2008) [pdf]

cse.chalmers.se

6 years ago

3 points

20.

Why Functional Programming Matters [pdf]

cse.chalmers.se

10 years ago

3 points

21.

Parsing Mixfix Operators

cse.chalmers.se

a year ago

2 points

22.

Programming in Martin-Lof's type theory: an introduction. (1990)

cse.chalmers.se

a year ago

2 points

23.

Finite Automata and Their Decision Problems (1959) [pdf]

cse.chalmers.se

3 years ago

082349872349872

2 points

24.

Formal Topology

cse.chalmers.se

5 years ago

2 points

25.

EssentialFP: Exposing the Essence of Browser Fingerprinting [pdf]

cse.chalmers.se

5 years ago

2 points

26.

BNF Converter - A multilingual lexer/parser generator

cse.chalmers.se

15 years ago

2 points

27.

Why Functional Programming Matters`

cse.chalmers.se

15 years ago

2 points

28.

Trends in Functional Programming (TFP) 2020 Proceedings

cse.chalmers.se

6 years ago

2 points

29.

Why Functional Programming Matters

cse.chalmers.se

15 years ago

2 points

30.

Decision Making Under Uncertainty and Reinforcement Learning [pdf]

cse.chalmers.se

8 years ago

2 points