3 ms·

> Here are Xavier Leroy and Simon-Peyton Jones bemoan that the state of formal methods in FP is so far behind that of even "classical" imperative programming la

by tome 9y ago

> Here are Xavier Leroy and Simon-Peyton Jones bemoan that the state of formal methods in FP is so far behind that of even "classical" imperative programming languages [4]. > [4]: http://homepages.inf.ed.ac.uk/stg/Milner2012/Monday_Panel-ht.. http://homepages.inf.ed.ac.uk/stg/Milner2012/Monday_Panel-ht.... To you know the precise time in the video?