An effective theory of type refinements
- 期刊名称ACM SIGPLAN Notices
- 作者Mandelbaum, Yitzhak; Walker, David; Harper, Robert
- 卷第38卷
- 期第9期
- 印刷ISSN0362-1340
- 文件大小299.52KB
- 发表时间2003-09-25
- DOI10.1145/944746.944725
- 页码213-225
Introduction to Tribology (Bhushan/Introduction) || IntroductionBhushan, Bharat · 2013
Introduction to Polymer Rheology (Shaw/Introduction) || IntroductionShaw, Montgomery T. · 2011
Introduction to Polymer Viscoelasticity (Shaw/Introduction) || IntroductionShaw, Montgomery T.; MacKnight, William J. · 2005
Introduction to Microfabrication (Franssila/Introduction to Microfabrication) || IntroductionFranssila, Sami · 2010
Introduction to Structured Finance (Fabozzi/Introduction) || IntroductionFabozzi, Frank J.; Davis, Henry A.; Choudhry, Moorad · 2012
An Introduction to Fund Management (Russell/An Introduction) || IntroductionRussell, Ray · 2012
An Introduction to Mutual Funds Worldwide (Russell/Introduction) || IntroductionRussell, Ray · 2012
Introduction to Nanoscience and Nanotechnology (Binns/Introduction to Nanoscience) || IntroductionBinns, Chris · 2010
Atrial Fibrillation in Heart FailureStevenson, William G.; Stevenson, Lynne Warner · New England Journal of Medicine · 1999
Sudden Death in Heart FailureStevenson, William G.; Stevenson, Lynne W. · Cardiology in Review · 1994
Prevention of Sudden Death in Heart FailureWILLIAM G. STEVENSON; LYNNE W. STEVENSON · 2001
End-Stage Reflex Sympathetic DystrophyRohrich, Rodney J.; Stevenson, Thomas R.; Piepgrass, William; Stevenson, Thomas R. · Plastic and Reconstructive Surgery · 1987
Impact of implantable cardioverter defibrillators on survival and recurrent hospitalization in advanced heart failureSaman Nazarian; William H. Maisel; J. Shawn Miles; Sui Tsang; Lynne W. Stevenson; William G. Stevenson · 2005
Atrial Fibrillation and Heart Failure — Five More YearsStevenson, William G.; Stevenson, Lynne W. · New England Journal of Medicine · 2004
Timing of sudden death in patients with heart failureDebra K. Moser; William G. Stevenson; Mary A. Woo; Lynne W. Stevenson · 1994
Martin DeweySpencer, Paul G.; Flesher, William E.; Stevenson, William B. · 1990
Image compression—from DCT to waveletsSaha, Subhasis · Crossroads · 2000
Invitation to complexity theoryGoldreich, Oded · XRDS: Crossroads, The ACM Magazine for Students · 2012
Big dataCron, Andrew; Nguyen, Huy L.; Parameswaran, Aditya · XRDS: Crossroads, The ACM Magazine for Students · 2012
Designing good MapReduce algorithmsUllman, Jeffrey D. · XRDS: Crossroads, The ACM Magazine for Students · 2012
PeregrineMurthy, Raghotham; Goel, Rajat · XRDS: Crossroads, The ACM Magazine for Students · 2012
Scientific workflows and cloudsJuve, Gideon; Deelman, Ewa · Crossroads · 2010
Better safe than sorryMitropoulos, Dimitris · XRDS: Crossroads, The ACM Magazine for Students · 2012
Interactive analysis of big dataHeer, Jeffrey; Kandel, Sean · XRDS: Crossroads, The ACM Magazine for Students · 2012