Search: chalmers.se | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Why Functional Programming Matters (1984) [pdf]

cse.chalmers.se

6 years ago

5 points

32.

World first concept for rechargeable cement-based batteries

5 years ago

4 points

33.

Engineering of a Swedish quantum computer set to start

9 years ago

4 points

34.

A History Of Erlang

18 years ago

4 points

35.

Why Functional Programming Matters

cse.chalmers.se

14 years ago

4 points

36.

Designing and Using Combinators: The Essence of Functional Programming

cse.chalmers.se

5 months ago

4 points

37.

Papers Using Agda

wiki.portal.chalmers.se

3 years ago

4 points

38.

A Very Small SAT Solver

cse.chalmers.se

8 years ago

4 points

39.

WWWBrowser, a browser written in Haskell in 1994

cse.chalmers.se

8 years ago

4 points

40.

Programming with Arrows [pdf]

cse.chalmers.se

9 years ago

4 points

41.

Dependently Typed Ethereum Contracts in Idris [pdf]

publications.lib.chalmers.se

10 years ago

4 points

42.

Implementation of Dependent Types

cse.chalmers.se

a year ago

3 points

43.

Telescope quartet reveals surprising statistics of cosmic flashes

2 years ago

3 points

44.

How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf]

research.chalmers.se

2 years ago

3 points

45.

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

cse.chalmers.se

3 years ago

3 points

46.

A Note on Declarative Programming Paradigms and the Future of Definitional Progr

web.archive.org

4 years ago

3 points

47.

Dependent Types at Work (2008) [pdf]

cse.chalmers.se

6 years ago

3 points

48.

Device driver development in Rust for TockOS [pdf]

publications.lib.chalmers.se

9 years ago

3 points

49.

Why Functional Programming Matters [pdf]

cse.chalmers.se

10 years ago

3 points

50.

Using dependent and polymorphic types for safer development of smart contracts [pdf]

publications.lib.chalmers.se

10 years ago

3 points

51.

Strongest battery paves way for light, energy-efficient vehicles

5 months ago

2 points

52.

Electricity can heal wounds three times as fast

3 years ago

2 points

53.

Alzheimer-substance may be the nanomaterial of tomorrow

13 years ago

2 points

54.

Minimal pixels achieve the highest possible resolution visible to the human eye

8 months ago

2 points

55.

Parsing Mixfix Operators

cse.chalmers.se

a year ago

2 points

56.

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

cse.chalmers.se

a year ago

2 points

57.

Parser Combinators in C

math.chalmers.se

17 years ago

2 points

58.

Telescope quartet reveals surprising statistics of cosmic flashes

2 years ago

2 points

59.

Innovations enable unprecedented control over every finger of a bionic hand

3 years ago

2 points

60.

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

cse.chalmers.se

3 years ago

082349872349872

2 points