Geoffrey

Results: 2439



#Item
891Software engineering / Unification / Type system / Admissible rule / Type inference / Symbol / Hindley–Milner / Entailment / Function / Type theory / Logic / Mathematics

Simple Unification-based Type Inference for GADTs Simon Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:06
892Second Vatican Council / Geoffrey Robinson / Pope John XXIII / Catholic social teaching / Catholic Church / Bishop / Pope / Diarmuid Martin / Roman Catholicism in Australia / Christianity / Christian theology / Pope Paul VI

SPEECH NATIONAL CONFERENCE 2007 McCOSKER ORATION 2007 COFFS HARBOUR TUESDAY 11 SEPTEMBER 2007 BISHOP PAT POWER, BISHOP OF THE CANBERRA GOULBURN

Add to Reading List

Source URL: www.cssa.org.au

Language: English - Date: 2013-04-16 23:14:07
893Notre Dame /  Indiana / University of Notre Dame / A. C. Spearing / Geoffrey Chaucer / Notre Dame de Paris / St. Joseph County /  Indiana / Literature / Geography of Indiana

A. C. Spearing M e d i e va l Au to g r a p h i e s The “I” of the Text

Add to Reading List

Source URL: www3.nd.edu

Language: English - Date: 2013-02-22 14:27:23
894Ambient intelligence / E-Science / Cyberinfrastructure / Usability

CHI Workshop: Usability Research Challenges for Cyberinfrastructure and Tools Call for Participation Rob Procter, Christine Borgman, Geoffrey Bowker, Marina Jirotka, Gary Olson, Cherri Pancake, Tom Rodden and mc schraefe

Add to Reading List

Source URL: www.chi2006.org

Language: English - Date: 2005-11-26 19:06:22
895DNA repair / Transcription factors / Genetics / V(D)J recombination / Recombination activating gene / HMGB1 / Non-homologous end joining / RAGE / DNA / Biology / Immune system / Lymphocytes

PNAS PLUS Single-molecule analysis of RAG-mediated V(D)J DNA cleavage Geoffrey A. Lovelya,b, Robert C. Brewsterb,c, David G. Schatzd, David Baltimoreb,1, and Rob Phillipsa,b,c,1 a

Add to Reading List

Source URL: www.rpgroup.caltech.edu

Language: English - Date: 2015-03-23 14:55:15
896Elections / Hugh Mackay / Tim Flannery / Geoffrey Blainey / Victoria / States and territories of Australia / Australia / Democracy

Microsoft Word - HRF Past Lecture Series Speakers.docx

Add to Reading List

Source URL: www.hrf.com.au

Language: English - Date: 2014-12-09 00:06:38
897Geoffrey J. D. Hewings / Year of birth missing / Employment compensation / Retirement / Pension / Regional Economics Applications Laboratory / Welfare / Economics / Finance / Financial services / Aging / Investment

Microsoft Word - 1f3_Park.doc

Add to Reading List

Source URL: www.iioa.org

Language: English - Date: 2008-07-31 06:40:30
898Matter / Fluid dynamics / Lattice Boltzmann methods / Volume of fluid method / Wetting / Rain / Coalescent theory / Viscosity / Drop / Computational fluid dynamics / Soft matter / Physics

Ninth International Conference on CFD in the Minerals and Process Industries CSIRO, Melbourne, AustraliaDecember 2012 MULTI-SCALE VOLUME OF FLUID MODELLING OF DROPLET COALESCENCE Lachlan R. MASON, Geoffrey W. STEV

Add to Reading List

Source URL: www.cfd.com.au

Language: English - Date: 2012-11-15 19:35:53
899Politics of Australia / David Black / Curtin University / Curtin / Geoffrey Serle / Goods and Services Tax / Government of Australia / John Curtin / States and territories of Australia

JOHN CURTIN PRIME MINISTERIAL LIBRARY PUBLICATIONS & MEMORABILIA ORDER FORM

Add to Reading List

Source URL: www.john.curtin.edu.au

Language: English - Date: 2011-09-27 21:41:39
900Ball-Bartoe Jetwing / Colombo / Geography of Sri Lanka / Provinces of Sri Lanka / Bentota / Geoffrey Bawa

Dedduwa Boat House by Jetwing 449/1, Dedduwa, Hapurugala, Bentota Sri Lanka Tel: + / +Fax: + E-mail:

Add to Reading List

Source URL: www.jetwinghotels.com

Language: English - Date: 2014-02-28 08:36:22
UPDATE