ml
Home
Recent
Comments
Search
Login
Stories
tagged
as
ml
– MetaLanguage, OCaml programming
9
Refinement Types in ML (1991)
pdf
compilers
compsci
ml
programming
cs.cmu.edu
via
nickpsecurity
7 months ago
|
cached
|
2 comments
2
10
Making a cross-platform mobile game in Reason/OCaml
games
javascript
ml
jaredforsyth.com
via
kevinSuttle
7 months ago
|
cached
|
3 comments
3
28
ML For The Working Programmer, 2nd ed.
☶
pdf
book
ml
cl.cam.ac.uk
via
pushcx
7 months ago
|
cached
|
13 comments
13
7
Why I got hooked on F#
dotnet
ml
devonburriss.me
via
voronoipotato
7 months ago
|
cached
|
no comments
0
6
A chess-themed bucklescript/TEA tutorial.
ml
web
quernd.github.io
via
zem
8 months ago
|
cached
|
no comments
0
14
Reflecting on F# in 2017
dotnet
ml
medium.com
via
calvin
8 months ago
|
cached
|
no comments
0
4
Announcing the SAFE stack
dotnet
ml
compositional-it.com
via
voronoipotato
8 months ago
|
cached
|
no comments
0
4
WTF#
☶
audio
dotnet
ml
wtfsharp.net
via
voronoipotato
8 months ago
|
cached
|
no comments
0
17
Interview of Xavier Leroy — POPL 18
compilers
compsci
ml
person
cs.cmu.edu
via
c-cube
8 months ago
|
cached
|
2 comments
2
9
People of Programming Languages: Interviews With PL Researchers
☶
formalmethods
ml
plt
cs.cmu.edu
via
seako
8 months ago
|
cached
|
no comments
0
9
Bloom Filter Sort (bfsort)
compsci
ml
blog.stermon.com
via
calvin
8 months ago
|
cached
|
8 comments
8
1
JavaScript à la ML
javascript
ml
medium.com
via
calvin
8 months ago
|
cached
|
2 comments
2
12
SML on Stilts
ml
programming
web
github.com
via
nickpsecurity
8 months ago
|
cached
|
4 comments
4
5
Type-Safe GraphQL with OCaml
ml
andreas.github.io
via
stephenjudkins
9 months ago
|
cached
|
no comments
0
3
FSharp Weekly #48 - Domain Modeling Made Functional
dotnet
ml
sergeytihon.com
via
voronoipotato
9 months ago
|
cached
|
no comments
0
10
1ML - core and modules united
compilers
ml
release
people.mpi-sws.org
via
pushcx
9 months ago
|
cached
|
1 comment
1
11
Gerard Huet Reflects On The History Of Theorem Provers
☶
compsci
formalmethods
lisp
math
ml
50ans.inria.fr
via
seako
9 months ago
|
cached
|
no comments
0
6
A bug-fix 12 years in the making
debugging
ml
windows
dra27.uk
via
calvin
9 months ago
|
cached
|
1 comment
1
15
F*: A Higher-Order Effectful Language Designed for Program Verification
ml
release
fstar-lang.org
via
pushcx
10 months ago
|
cached
|
2 comments
2
11
fez an Fsharp to core Erlang compiler
dotnet
erlang
ml
github.com
via
julienXX
10 months ago
|
cached
|
2 comments
2
9
F# introduction for my coworkers
dotnet
ml
simendsjo.me
via
calvin
10 months ago
|
cached
|
no comments
0
13
Coq Ltac 101
formalmethods
ml
lthms.xyz
authored by
lthms
10 months ago
|
cached
|
2 comments
2
7
Scalable and serverless media processing using BuckleScript/OCaml and AWS Lambda/API Gateway
javascript
ml
nodejs
scaling
medium.com
authored by
toots
10 months ago
|
cached
|
no comments
0
12
Having an Effect
☶
compsci
haskell
ml
okmij.org
via
minimax
11 months ago
|
cached
|
no comments
0
8
BuckleScript: backend for the OCaml compiler which emits JavaScript.
javascript
ml
bucklescript.github.io
via
unbalancedparentheses
11 months ago
|
cached
|
1 comment
1
<< Page 2
|
Page 4 >>