Search: chalmers.se | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Why Functional Programming Matters

cse.chalmers.se

14 years ago

1 points

92.

The Fractalist (Mandelbrot) 2014 [pdf]

math.chalmers.se

4 years ago

1 points

93.

Plastic-degrading enzymes correlate with pollution

5 years ago

1 points

94.

Thinking, Fast and Slow [pdf]

math.chalmers.se

6 years ago

1 points

95.

Dependent Types at Work by Ana Bove and Peter Dybjer (2009) [pdf]

cse.chalmers.se

6 years ago

1 points

96.

Centre for Studies of Climate Change Denialism

7 years ago

1 points

97.

Programming in Martin-Löf’s Type Theory (1990) [pdf]

cse.chalmers.se

7 years ago

1 points

98.

Vampire*: First-Order Theorem Proving [pdf]

cse.chalmers.se

7 years ago

1 points

99.

First-Order Theorem Proving and Vampire* (2013) [pdf]

cse.chalmers.se

7 years ago

1 points

100.

A simple type-theoretic language: Mini-TT (2009) [pdf]

cse.chalmers.se

8 years ago

1 points

101.

QuickSpec. Guessing Formal Specifications using Testing: PDF

cse.chalmers.se

16 years ago

1 points

102.

Parsing mixfix operators [pdf]

cse.chalmers.se

9 years ago

1 points

103.

Discovering Browser Extensions via Web Accessible Resources [pdf]

cse.chalmers.se

9 years ago

1 points

104.

Haskell has no state monad

cse.chalmers.se

9 years ago

ycmbntrthrwaway

1 points

105.

Self-Driving Truck Acts Like an Animal

10 years ago

1 points

106.

A Logical Calculus Immanent in Nervous Activity [pdf]

cse.chalmers.se

10 years ago

1 points

107.

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

cse.chalmers.se

11 years ago

1 points

108.

Ask HN: Recommended change to the book "Crafting Interpreters"

2 years ago

2 points