F*, a new higher order programming language (like those used in machine learning), and the Orleans framework (for distributed high-scale computing applications) were among the highlights from this year's IMDEA Software Institute Collaboration Workshop.
↧