McCarthy - PDFSEARCH.IO - Document Search Engine

McCarthy
Results: 1865

#	Item
1	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
2	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
3	FallENIAC is assembled at the University of PennsylvaniaJohn McCarthy develops LISPJohn Backus and a team at IBM create FORTRANDigital releases the Programmed Data Processor 1, or PDP-1. Add to Reading List Source URL: ifmirror.russotto.net Language: English - Date: 2002-08-21 11:07:55
4	MMT Observing Programs January - April 2016 SAO-1 Birkby, Charbonneau, Johnson, J., Lopez-Morales, McCarthy, Add to Reading List Source URL: www.mmto.org Language: English - Date: 2016-04-04 14:47:50
5	PRESS RELEASE Georg Baselitz (photo Martin Müller), Paul McCarthy (photo Leigh Ledare) INBETWEEN Baselitz-McCarthy Add to Reading List Source URL: www.thegeorgeeconomoucollection.com Language: English - Date: 2015-06-25 05:16:35
6	2014 CYC Epicurean Society December Dinner • M.H.McCarthy Photography 14 CYC DEC EPICURAN ©MHM 5 14 CYC DEC EPICURAN ©MHM 4 Add to Reading List Source URL: www.calyachtclub.com Language: English
7	McCarthy Tétrault Advance™ Building Capabilities for Growth Reimagining the Copyright Board – Lessons from Other Jurisdictions Add to Reading List Source URL: www.barrysookman.com Language: English - Date: 2016-05-28 18:39:37
8	McCarthy Technologies, Inc. The Core Protocols VCopyright (C) Jim McCarthy and Michele McCarthy (The Core is distributed under the terms of the GNU General Public License as published by the Free Software Foundat Add to Reading List Source URL: www.mccarthyshow.com Language: English - Date: 2011-02-25 18:26:53
9	Christine M. McCarthy Senior Executive Vice President and Chief Financial Officer, The Walt Disney Company Christine M. McCarthy is Senior Executive Vice President and Chief Financial Officer of The Walt Disney Company a Add to Reading List Source URL: www.thewaltdisneycompany.com Language: English - Date: 2018-06-01 12:13:34
10	MMT Observing Programs January - April 2017 SAO-1 Birkby, Charbonneau, Johnson, J., Lopez-Morales, McCarthy, Kulesa Add to Reading List Source URL: www.mmto.org Language: English - Date: 2017-02-24 12:07:26

UPDATE