Lumsdaine - PDFSEARCH.IO - Document Search Engine

Lumsdaine
Results: 50

#	Item
21	Characterizing the Influence of System Noise on Large-Scale Applications by Simulation Torsten Hoefler Timo Schneider and Andrew Lumsdaine Add to Reading List Source URL: htor.inf.ethz.ch Language: English - Date: 2012-11-23 05:02:46
22	Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:22
23	On the Bourbaki-Witt Principle in Toposes Andrej Bauer University of Ljubljana, Slovenia Peter LeFanu Lumsdaine Dalhousie University, Halifax, Canada Add to Reading List Source URL: math.andrej.com Language: English - Date: 2012-01-04 02:03:33
24	Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague Add to Reading List Source URL: web.science.mq.edu.au Language: English Nicolas Bourbaki Algebraic structures Pullback Model theory Coherence theory of truth Mathematical logic Functor Structure Mathematics Algebra Claude Chevalley
25	Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:42 Subroutines Functional programming Computer performance Software optimization Programming paradigms Memoization XSB Continuation-passing style Prolog Software engineering Computing Computer programming
26	Index Adlington, Robert, 14–15, 30, 74n, 215 Adorno, Theodor, 214 Albright, Daniel, 156n AMM, 8 Add to Reading List Source URL: www.ashgate.com Language: English - Date: 2012-08-03 06:50:05 3N Chemical elements Synthetic elements Transition metals International Bank Account Number 5N Isorhythm Darmstadtium Mandala Matter Music David Lumsdaine
27	Cognitive Architectures: A Way Forward for the Psychology of Programming Michael E. Hansen Andrew Lumsdaine Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2014-02-11 17:02:12 Science Cognition Neuropsychology Mental processes ACT-R Cognitive model Chunking Human information processor model Soar Mind Cognitive science Cognitive architecture
28	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
29	The Market for Long-Term Care Insurance and Systemic Risk Robin L. Lumsdaine January 14, 2011 The private long-term care insurance (LTCI) market may be under serious threat, as evidenced by MetLife’s decision to exit t Add to Reading List Source URL: www.centerforfinancialstability.org Language: English - Date: 2011-01-13 21:55:35 Systemic risk Financial crises Financial services Investment Personal finance MetLife Pension Basel III Dodd–Frank Wall Street Reform and Consumer Protection Act Economics Financial economics Finance
30	Fact Sheet: A Historic New 5Y TIPS Auction Robin L. Lumsdaine April 20, 2011 The Treasury auction of new 5Y Treasury Inflation-Protected Securities (TIPS), scheduled for Thursday, April 21, 2011, will be historic for a n Add to Reading List Source URL: www.centerforfinancialstability.org Language: English - Date: 2011-04-20 15:07:35 Inflation Mathematical finance Finance United States Treasury security Yield Deflation Current yield Interest rate Zero-coupon bond Economics Bonds Fixed income analysis