Blain - PDFSEARCH.IO - Document Search Engine

Blain
Results: 111

#	Item
31	Jumping Semantics For Call-By-Push-Value Paul Blain Levy University of Birmingham Abstract. We give a jumping machine for a higher-order language, embodying the intuition that calling a procedure is a jump, and returning Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:16
32	MFPSGlobal State Considered Helpful Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-06-30 15:25:55 Algebraic geometry Theoretical physics Mathematical analysis Deduction Natural deduction Proof theory Orbifold Differential geometry Geometry Differential topology
33	Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-09-16 16:40:23 Theoretical computer science Applied mathematics Computer science Ordinary differential equations Mathematics Computability theory Lambda calculus
34	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
35	Edition: 356 June 5, Blain Street, Alice Springs, 0870 Phone: (Fax: ( Add to Reading List Source URL: www.territorystories.nt.gov.au Language: English - Date: 2014-09-22 02:16:18 Academic term Thursday Human resource management Management Time Labor history Working time Workweek and weekend
36	Raven Science Cases Célia Blain and Raven Team Subaru Telescope Seminar, Feb 5th 2014 Add to Reading List Source URL: www.subarutelescope.org Language: English - Date: 2014-02-05 20:14:03 Comics Fiction Raven Observability DC Comics
37	Generational Leadership Listening Sessions The Building Movement Project Frances Kunreuther Ludovic Blain Kim Fellner Add to Reading List Source URL: www.buildingmovement.org Language: English - Date: 2013-02-25 20:14:09 Public economics Baby boomer Mentorship Intergenerationality Generation Community organizing Demographics Demography Population
38	Raven a scientific and technical Multi-Object Adaptive Optics (MOAO) demonstrator Olivier Lardière, Célia Blain, Colin Bradley, Reston Nash, Darryl Gamroth, Kate Jackson, Dave Andersen, Shin Oya, Yoshito Ono, Add to Reading List Source URL: www.subarutelescope.org Language: English - Date: 2014-02-05 20:13:49 Subaru Telescope Irmos Guide star AO Science Space Telescopes Adaptive optics Astronomy
39	Names of Middle-earth Colin Chapman Text in Blue Denotes New Content Dwarf Names Male Dwarf Names: Anar, Balin, Beli, Bifur, Bláin, Bofur, Bombur, Borin, Add to Reading List Source URL: www.darkshire.net Language: English - Date: 2009-05-06 16:40:55 Rohan Spear Sindarin Aragorn Lúthien Frodo Baggins Beleg Middle-earth Grey Elves Fantasy
40	ENHANCEMENTS TO A DIGITAL LIBRARY WEB PORTAL FOR OCEAN AND CLIMATE DATA Peter Blain) Add to Reading List Source URL: www.oceanobs09.net Language: English - Date: 2011-08-03 13:30:41 Data management Earth sciences graphics software NetCDF Google Web Toolkit Information Metadata Computing Computer file formats Software

UPDATE