Y
Hacker News
new
|
ask
|
show
|
jobs
user:
danghica
created:
2015-05-11
karma:
155
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
So what is a “pure programming language” anyway?
5 points
|
0 comments
Basic introduction to functional programming using OCaml
4 points
|
0 comments
Compilers are lazy denotational interpreters
4 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
A simple proof checker to use in teaching
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Algebraic knot theory for kids: equations
42 points
|
3 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
The limits of type theory: computation vs. interaction
81 points
|
66 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments