Goto - PDFSEARCH.IO - Document Search Engine

Goto
Results: 660

#	Item
51	Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu - Date: 2015-02-28 03:26:59
52	Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites. Add to Reading List Source URL: goto.ucsd.edu - Date: 2014-10-20 15:46:33
53	From Monads to Effects and Back Niki Vazou and Daan Leijen 1 2 Add to Reading List Source URL: goto.ucsd.edu - Date: 2015-10-21 23:10:55
54	Niki Vazou PhD Student CSE at UC San Diego H +B Add to Reading List Source URL: goto.ucsd.edu - Date: 2016-10-07 18:29:09
55	Certicate granted to Niki Vazou for being instructor in the club: Add to Reading List Source URL: goto.ucsd.edu - Date: 2015-10-06 18:27:46
56	UNIVERSITY OF CALIFORNIA, SAN DIEGO Liquid Haskell: Haskell as a Theorem Prover A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy Add to Reading List Source URL: goto.ucsd.edu - Date: 2016-12-06 11:13:42
57	Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu - Date: 2014-06-11 23:19:29
58	<984890FC836F83585F6F6C2E6169> Add to Reading List Source URL: www.city.goto.nagasaki.jp - Date: 2015-10-01 19:42:16
59	Live Tuning: Expanding Live Programming Benefits to Non-Programmers Jun Kato Masataka Goto Add to Reading List Source URL: junkato.jp - Date: 2016-07-09 03:05:21