Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)
241 points
monssoen
9 years ago
147 comments
2.
Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)
140 points
jasim
10 years ago
79 comments
3.
Why ML/OCaml are good for writing compilers (flint.cs.yale.edu)
64 points
groovy2shoes
15 years ago
30 comments
4.
C. Hoare: Hints on programming language design (1973) [pdf] (flint.cs.yale.edu)
30 points
hazelnut-tree
3 years ago
6 comments
5.
Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)
12 points
Tomte
a year ago
discuss
6.
Art of Assembly Language, PDF Files (flint.cs.yale.edu)
3 points
gurjeet
3 years ago
discuss
7.
Executable and Linkable Format (ELF) (flint.cs.yale.edu)
2 points
cmsimike
13 years ago
discuss
8.
Language-Based Security (Yale CS 528, Spring 2020) (flint.cs.yale.edu)
2 points
ArtWomb
6 years ago
discuss
9.
Why SML and OCaml are good for writing compilers (1998) (flint.cs.yale.edu)
2 points
chmaynard
6 years ago
discuss
10.
Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)
2 points
eatonphil
11 years ago
discuss
11.
Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)
1 point
keewee7
4 years ago
discuss
12.
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers [pdf] (flint.cs.yale.edu)
1 point
lainon
8 years ago
discuss