HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Implementing Programming Languages (2012) [pdf]
cse.chalmers.se
discuss
9 years ago
lainon
2 points
32.
▲
Programming Language Technology
cse.chalmers.se
discuss
12 years ago
dkarapetyan
1 points
33.
▲
Dependent Types at Work
cse.chalmers.se
discuss
12 years ago
lelf
1 points
34.
▲
Why Functional Programming Matters
cse.chalmers.se
discuss
13 years ago
andrelaszlo
1 points
35.
▲
Dependent types at work in Agda [pdf]
cse.chalmers.se
discuss
a year ago
fanf2
1 points
36.
▲
Why Functional Programming Matters
cse.chalmers.se
discuss
14 years ago
ranit8
1 points
37.
▲
Dependent Types at Work by Ana Bove and Peter Dybjer (2009) [pdf]
cse.chalmers.se
discuss
6 years ago
furcyd
1 points
38.
▲
Programming in Martin-Löf’s Type Theory (1990) [pdf]
cse.chalmers.se
discuss
7 years ago
tosh
1 points
39.
▲
Vampire*: First-Order Theorem Proving [pdf]
cse.chalmers.se
discuss
7 years ago
tosh
1 points
40.
▲
First-Order Theorem Proving and Vampire* (2013) [pdf]
cse.chalmers.se
discuss
7 years ago
tosh
1 points
41.
▲
A simple type-theoretic language: Mini-TT (2009) [pdf]
cse.chalmers.se
discuss
8 years ago
anqurvanillapy
1 points
42.
▲
QuickSpec. Guessing Formal Specifications using Testing: PDF
cse.chalmers.se
discuss
16 years ago
alrex021
1 points
43.
▲
Parsing mixfix operators [pdf]
cse.chalmers.se
discuss
9 years ago
chewxy
1 points
44.
▲
Discovering Browser Extensions via Web Accessible Resources [pdf]
cse.chalmers.se
discuss
9 years ago
lainon
1 points
45.
▲
Haskell has no state monad
cse.chalmers.se
discuss
9 years ago
ycmbntrthrwaway
1 points
46.
▲
A Logical Calculus Immanent in Nervous Activity [pdf]
cse.chalmers.se
discuss
10 years ago
theideasmith
1 points
47.
▲
A Perspective on Information-Flow Control (2011) [pdf]
cse.chalmers.se
discuss
11 years ago
vezzy-fnord
1 points