Collaborated with:
D.Nunez K.Fisher
Talks about:
algorithm (1) autobahn (1) strict (1) infer (1) genet (1) annot (1) use (1)
Person: Yisu Remy Wang
DBLP: Wang:Yisu_Remy
Contributed to:
Wrote 1 papers:
- Haskell-2016-WangNF #algorithm #named #search-based #strict #using
- Autobahn: using genetic algorithms to infer strictness annotations (YRW, DN, KF), pp. 114–126.