Search: cs.yale.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Haskell School of Music (haskell.cs.yale.edu)

1 point

12 years ago

122.

Dissent: Accountable Anonymous Group Communication (dedis.cs.yale.edu)

1 point

12 years ago

123.

An Experiment in Software Prototyping Productivity (haskell.cs.yale.edu)

1 point

12 years ago

124.

Consistency Tradeoffs in Modern Distributed Database System Design (cs-www.cs.yale.edu)

1 point

12 years ago

125.

Consistency Tradeoffs in Modern Distributed Database System Design (cs-www.cs.yale.edu)

1 point

13 years ago

126.

Epigrams in Programming (cs.yale.edu)

1 point

3 months ago

127.

Curly-Cue: Geometric Methods for Highly Coiled Hair [pdf] (cs.yale.edu)

1 point

a year ago

128.

Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994) [pdf] (cs.yale.edu)

1 point

4 years ago

129.

The Emperor's Old Clothes (zoo.cs.yale.edu)

1 point

15 years ago

130.

Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)

1 point

4 years ago

131.

Consistency Tradeoffs in Modern Distributed Database System Design (2012) [pdf] (cs-www.cs.yale.edu)

1 point

8 years ago

132.

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers [pdf] (flint.cs.yale.edu)

1 point

8 years ago

133.

Notes on Computational Complexity Theory [pdf] (cs-www.cs.yale.edu)

1 point

9 years ago

134.

The Haskell School of Music [pdf] (cs.yale.edu)

1 point

9 years ago

135.

Epigrams in Programming (cs.yale.edu)

1 point

10 years ago

136.

Perlisisms – “Epigrams in Programming” (cs.yale.edu)

1 point

10 years ago

137.

Passing the Turing Test Using a Humongous Response Table (cs-www.cs.yale.edu)

1 point

16 years ago

138.

Reducing Crash Recoverability to Reachability [pdf] (cs.yale.edu)

1 point

10 years ago