Formal methods and the future of programming : ocaml@discuss.tchncs.de

Formal methods and the future of programming (blog.janestreet.com)

submitted 4 months ago by apoisel@discuss.tchncs.de to c/ocaml@discuss.tchncs.de

2 comments fedilink hide all child comments

other discussions

Formal Methods and the Future of Programming (blog.janestreet.com)

submitted 4 months ago by rssbot@lemmy.bestiver.se [B] to c/hackernews@lemmy.bestiver.se

comment fedilink hide all child comments