CUFP'13 scribe's report
暂无分享,去创建一个
[1] A. P. Annan,et al. Ground Penetrating Radar Survey Design , 1992 .
[2] Sam Tobin-Hochstadt,et al. Interlanguage migration: from scripts to programs , 2006, OOPSLA '06.
[3] Jérôme Vouillon,et al. From bytecode to JavaScript: the Js_of_ocaml compiler , 2014, Softw. Pract. Exp..
[4] Michael Snoyman. Developing Web Applications with Haskell and Yesod , 2012 .
[5] Yaron Minsky,et al. CUFP 2011 Workshop Report , 2012, J. Funct. Program..
[6] Koen Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2011, SIGP.
[7] Andrew P. Black,et al. Towards Haskell in the cloud , 2012 .
[8] Prem V. Sharma. Environmental and Engineering Geophysics by Prem V. Sharma , 1997 .
[9] Robert Griesemer,et al. Paxos made live: an engineering perspective , 2007, PODC '07.
[10] J. Les Davis,et al. Quantitative measurement of pavement structures using radar , 1994 .
[11] Michael Sperber,et al. Commercial users of functional programming workshop report , 2013, J. Funct. Program..
[12] Akira Kawanaka,et al. Radar imaging of underground pipes by automated estimation of velocity distribution versus depth , 1998 .
[13] Leslie Lamport,et al. The part-time parliament , 1998, TOCS.