ml
Home
Recent
Comments
Search
Login
Stories
tagged
as
ml
– MetaLanguage, OCaml programming
7
Learn Standard ML in Y Minutes
ml
learnxinyminutes.com
via
kaveman
11 months ago
|
cached
|
3 comments
3
38
Full text of "ML for the Working Programmer" now online!
ml
cl.cam.ac.uk
via
sergeyb
11 months ago
|
cached
|
8 comments
8
7
Resource Aware ML
ml
raml.co
via
sanxiyn
11 months ago
|
cached
|
no comments
0
6
A self-amending cryptographic ledger built in OCaml
cryptocurrencies
formalmethods
ml
git.io
via
ao
11 months ago
|
cached
|
5 comments
5
5
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
☶
pdf
ai
ml
arxiv.org
via
lojikil
12 months ago
|
cached
|
no comments
0
38
OCaml for the impatient
ml
adambard.com
via
bsima
1 year ago
|
cached
|
24 comments
24
3
Designing a Tree Diff Algorithm Using Dynamic Programming and A*
compsci
ml
thume.ca
via
pushcx
1 year ago
|
cached
|
no comments
0
57
What next?
ml
programming
graydon2.dreamwidth.org
via
zxtx
1 year ago
|
cached
|
no comments
0
14
Eff Directly in Ocaml (2017)
☶
pdf
compsci
ml
kcsrk.info
via
nickpsecurity
1 year ago
|
cached
|
7 comments
7
11
A Deep Dive into Multicore Ocaml's GC
slides
ml
kcsrk.info
via
nickpsecurity
1 year ago
|
cached
|
no comments
0
13
DynamicML - A Dynamically-Typed Version of SML/NJ (2012)
compilers
compsci
ml
programming
zerny.dk
via
nickpsecurity
1 year ago
|
cached
|
4 comments
4
12
Runtime typing and eval in Alice ML
ml
programming
bluishcoder.co.nz
authored by
doublec
1 year ago
|
cached
|
11 comments
11
9
Macros as Multi-Stage Computations - Type-Safe, Generative, Binding Macros in MacroML (2001)
pdf
compilers
compsci
formalmethods
ml
cs.rice.edu
via
nickpsecurity
1 year ago
|
cached
|
4 comments
4
11
The Mythryl Foundation
☶
compilers
ml
mythryl.org
via
trn
1 year ago
|
cached
|
1 comment
1
10
A minimal introduction to unicode
☶
ml
programming
erratique.ch
via
c-cube
1 year ago
|
cached
|
1 comment
1
18
Prose: A new collaborative text editor (a la Etherpad), in OCaml
☶
ml
release
gitlab.com
via
zem
1 year ago
|
cached
|
3 comments
3
13
Why OCaml
video
ml
youtube.com
via
pushcx
1 year ago
|
cached
|
2 comments
2
2
Modules Matter Most (2011)
education
haskell
ml
programming
existentialtype.wordpress.com
via
kartik
1 year ago
|
cached
|
no comments
0
5
ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician
☶
compsci
formalmethods
math
ml
cl.cam.ac.uk
via
c-cube
1 year ago
|
cached
|
3 comments
3
14
What is the type of eval?
lisp
ml
lambda-the-ultimate.org
via
bsima
1 year ago
|
cached
|
no comments
0
2
Snabela 1.0: Logic-less @templates@
ml
programming
release
blog.appliedcompscilab.com
authored by
apy
1 year ago
|
cached
|
no comments
0
9
Interfacing Fortran with OCaml
fortran
ml
lambda-diode.com
via
zem
1 year ago
|
cached
|
1 comment
1
6
Queen: a JavaScript ES6 language with OCaml's pattern matching and first class functions
compilers
javascript
ml
release
github.com
via
pushcx
1 year ago
|
cached
|
2 comments
2
17
An in-memory datalog implementation for OCaml
ml
release
github.com
via
pushcx
1 year ago
|
cached
|
6 comments
6
27
erythrina is a port of dmenu to OCaml
☶
ml
github.com
authored by
technomancy
1 year ago
|
cached
|
1 comment
1
<< Page 3
|
Page 5 >>