Future of Programming (via janus) — discussion

#formalmethods #scala #video