投稿

【函数式编程】Chalmers Online Functional Programming Seminar Series

1494

0

2020-06-05 17:00:05

http://chalmersfp.org/

函数式编程

形式化方法

Evan林发消息

这大美江湖可否与我同闯

Jones - A Quick Look at Impredicativity

01:01:39

Pierce - Backtracking Generators for Random Testing

59:53

Polikarpova - Liquid resource types for verification and synthesis

01:05:14

Fisher - Using Formal Methods to Eliminate Exploitable Bugs

01:06:26

Wadler - Featherweight Go

01:16:46

Findler - Concolic Testing with Higher-Order Inputs

01:01:31

Weirich - Strongly Typed System F in GHC

01:15:25

Gibbons - Algorithm Design with Haskell

01:08:26

顶部