ml
Home
Recent
Comments
Search
Login
Stories
tagged
as
ml
– MetaLanguage, OCaml programming
Tip: read stories across multiple tags with
/t/tag1,tag2
32
Haskell vs OCaml
haskell
ml
markkarpov.com
via
A-Za-z0-9
2 days ago
|
cached
|
33 comments
33
13
Using TLA+ to understand Xen vchan
ml
virtualization
roscidus.com
via
raymii
25 days ago
|
cached
|
no comments
0
9
Soupault 1.5 (it can work with unmodified websites as an HTML processor now)
☶
show
ml
web
soupault.neocities.org
authored by
dmbaturin
1 month ago
|
cached
|
no comments
0
9
Dex: Research language for array processing in the Haskell/ML family
apl
ml
plt
github.com
via
ehamberg
1 month ago
|
cached
|
2 comments
2
11
User-friendly topological sort in OCaml
show
ml
baturin.org
authored by
dmbaturin
1 month ago
|
cached
|
3 comments
3
42
A Bestiary of Single-File Implementations of Programming Languages
c
compilers
lisp
ml
programming
github.com
via
edoput
1 month ago
|
cached
|
15 comments
15
9
Unboxed Types for OCaml
ml
plt
youtube.com
via
eterps
1 month ago
|
cached
|
2 comments
2
8
Typed Type-Level Computation in Amulet
ml
plt
hydraz.semi.works
authored by
hydraz
2 months ago
|
cached
|
no comments
0
3
The OCaml Software Foundation
ml
discuss.ocaml.org
via
zem
2 months ago
|
cached
|
no comments
0
34
The Unison language
ml
plt
unisonweb.org
via
tomb
2 months ago
|
cached
|
13 comments
13
2
Interactive amc-prove
☶
ml
plt
release
hydraz.semi.works
authored by
hydraz
2 months ago
|
cached
|
no comments
0
7
Announcement: amc-prove
ml
plt
release
hydraz.semi.works
authored by
hydraz
2 months ago
|
cached
|
no comments
0
18
Announcing F# 4.7
dotnet
ml
release
devblogs.microsoft.com
via
calvin
2 months ago
|
cached
|
2 comments
2
19
Multicore prerequisite patches appearing in released OCaml compilers now
ml
discuss.ocaml.org
via
DrM
2 months ago
|
cached
|
6 comments
6
23
A look back on OCaml since 2011
ml
ocamlpro.com
via
copy
2 months ago
|
cached
|
5 comments
5
24
OCaml 4.09.0 released
ml
release
discuss.ocaml.org
via
DrM
2 months ago
|
cached
|
6 comments
6
10
The Distribution Monad
☶
math
ml
blog.russelldmatt.com
via
etc
2 months ago
|
cached
|
no comments
0
14
A Standard ML interpreter written in TypeScript with an online REPL
ml
plt
github.com
via
eatonphil
3 months ago
|
cached
|
2 comments
2
2
Functor, applicative, and monad
haskell
ml
typeslogicscats.gitlab.io
via
lelf
3 months ago
|
cached
|
no comments
0
14
Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats
☶
pdf
formalmethods
ml
networking
security
arxiv.org
via
nickpsecurity
3 months ago
|
cached
|
2 comments
2
14
Declarative parse error reporting with Menhir
ml
blog.baturin.org
authored by
dmbaturin
3 months ago
|
cached
|
no comments
0
1
MXNet made simple: Transfer Learning to achieve State of the Art on image classification tasks
clojure
ml
arthurcaillau.com
via
Yogthos
3 months ago
|
cached
|
no comments
0
47
v0.3.0 of Gleam, the statically typed language for the Erlang VM, is out
erlang
ml
plt
release
lpil.uk
authored by
lpil
4 months ago
|
cached
|
5 comments
5
15
Extending OCaml programs with Lua (soupault got plugin support)
show
lua
ml
web
blog.baturin.org
authored by
dmbaturin
4 months ago
|
cached
|
2 comments
2
7
Lightweight Static Guarantees
ml
plt
programming
okmij.org
via
mt
4 months ago
|
cached
|
2 comments
2
Page 2 >>