Cormac - PDFSEARCH.IO - Document Search Engine

Cormac
Results: 158

#	Item
11	Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor Add to Reading List Source URL: kennknowles.com - Date: 2014-03-19 14:17:46
12	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: kennknowles.com - Date: 2011-09-06 01:40:51
13	Faceted Dynamic Information Flow via Control and Data Monads Thomas Schmitz1 , Dustin Rhodes1 , Thomas H. Austin2 , Kenneth Knowles1 , and Cormac Flanagan1 1 Add to Reading List Source URL: kennknowles.com - Date: 2016-05-10 22:00:05
14	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: kennknowles.com - Date: 2011-09-06 01:40:50
15	Multiple Facets for Dynamic Information Flow Thomas H. Austin Cormac Flanagan Add to Reading List Source URL: users.soe.ucsc.edu - Date: 2018-02-28 12:31:37
16	Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy Add to Reading List Source URL: jeapostrophe.github.io - Date: 2018-04-03 12:30:31
17	Oprah Winfrey’s Book Club picks A New Earth by Eckhart Tolle Pillars of the Earth by Ken Follett Love in the Time of Cholera by Gabriel Garcia Marquez Middlesex by Jeffrey Eugenides The Road by Cormac McCarthy Add to Reading List Source URL: www.eldredgelibrary.org - Date: 2013-10-25 14:59:31
18	How To Login From an Internet Cafe´ Without Worrying About Keyloggers Cormac Herley and Dinei Florencio ˆ Microsoft Research, Redmond Add to Reading List Source URL: cups.cs.cmu.edu - Date: 2006-06-02 16:43:29
19	qctconnect.com A Perspective on GPS/GNSS in Consumer Segment – Especially on Mobile Phones Cormac Conroy Qualcomm, Santa Clara, CA Add to Reading List Source URL: scpnt.stanford.edu Language: English - Date: 2010-11-18 17:07:18 Smartphones Technology Mobile technology Electronics Mobile phone 3G Feature phone Palm Pixi HTC Desire HD
20	Direct Lending: Finding value/minimising risk 20 October 2015 Cormac Leech +2264 Add to Reading List Source URL: www.liberum.com Language: English - Date: 2015-10-28 07:38:46 Economy Finance Money Credit Loans Financial services RateSetter Zopa Factoring LendInvest Lending Club Direct lending

UPDATE