Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
copy
.
10
A history of Modula-2 and Oberon (2007)
☶
video
historical
plt
dl.acm.org
via
copy
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
23
A look back on OCaml since 2011
ml
ocamlpro.com
via
copy
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
3
Improve object system
☶
ml
plt
satire
github.com
via
copy
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
9
Catch me if you can
pdf
ml
hal.inria.fr
via
copy
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
15
Can F* replace Haskell and Coq?
formalmethods
ml
plt
cryptulf.com
via
copy
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
23
A proposal for a resource-management model for OCaml
pdf
ml
plt
hal.inria.fr
via
copy
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
17
Type-Driven Development in Idris — Edwin Brady
video
programming
youtube.com
via
copy
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
30
Exposing high-end poker cheating devices
security
elie.net
via
copy
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
18 comments
18
8
Bringin algebraic effects and handlers to OCaml
video
ml
youtube.com
via
copy
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0