McBride - PDFSEARCH.IO - Document Search Engine

McBride
Results: 584

#	Item
561	Reproductive Pergamon Add to Reading List Source URL: www.voteview.com Language: English - Date: 2012-06-14 10:25:58 Health Antiemetics Pyridoxine/doxylamine Teratology William McBride Foundation 41 Thalidomide Reproductive toxicity Medicine Developmental biology Biology
562	918 A. S. MAHDI and A. J. McBRIDE Add to Reading List Source URL: www.vcu.edu Language: English - Date: 2010-08-25 13:51:46 Alcohol abuse Morphinans Substance dependence Drinking culture Euphoriants Heroin Alcoholism Opioid dependence Diazepam Chemistry Organic chemistry Pharmacology
563	Preface: This information was with my Great-Grandmothers papers, Agnes McBride Dummer and provided for this blog by my Sister Sandy. It was handwritten in pencil on old paper and held together with a pin. It is a true story but I do not know if my Grandmother copied it from somewhere or it was given to her. Ted Severe is her 1st cousin once Add to Reading List Source URL: www.albionidahohistory.org Language: English - Date: 2011-06-19 18:51:23 Jack Davis Western United States Crime in the United States Zoology Night Sheep Sheep Wars American Old West Deep Creek Murders
564	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
565	#[removed]British Lions Panels Add to Reading List Source URL: www.rfu.com Language: English - Date: 2005-03-04 09:40:36 Fergus Slattery Martin Johnson John Dawes British and Irish Lions Ireland national rugby union team Rugby union Ulster Scots people Willie John McBride
566	Functional Pearl: I am not a Number—I am a Free Variable Conor McBride Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-09-28 13:09:54 Predicate logic Semantics Type theory Map De Bruijn index Free variables and bound variables Find Binding Closure Computing Software engineering Logic
567	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Logic in computer science Type theory Entailment Metalogic Valuation Intuitionistic type theory Curry–Howard correspondence Logic Deduction Dependently typed programming
568	Rita McBride Arena, 1997 Add to Reading List Source URL: www.macba.cat Language: Spanish - Date: 2009-08-27 07:36:18
569	The Golden Age of Fraternalism: – Harriett W.McBride Add to Reading List Source URL: www.phoenixmasonry.org Language: English - Date: 2012-12-23 05:08:17 Odd Fellows Freemasonry Independent Order of Odd Fellows Fraternity Ancient Order of United Workmen Knights of Honor Knights of the Maccabees Knights of Pythias Masonic Lodge Friendly societies Structure Secret societies
570	CRI LP 107 ROBERT McBRIDE: “PUNCH AND THE JUDY” AVERY CLAFLIN: “FISHHOUSE PUNCH” Add to Reading List Source URL: www.newworldrecords.org Language: English - Date: 2010-03-17 16:53:47 English culture Punch and Judy Puppetry Traditions Humanities Punch Avery Claflin Douglas Moore Publishing Culture Mixed drinks Drama