An error-tolerant type system for variational lambda calculus
- 期刊名称ACM SIGPLAN Notices
- 作者Chen, Sheng; Erwig, Martin; Walkingshaw, Eric
- 卷第47卷
- 期第9期
- 印刷ISSN0362-1340
- 文件大小740.52KB
- 发表时间2012-10-15
- DOI10.1145/2398856.2364535
P-GridAberer, Karl; Cudré-Mauroux, Philippe; Datta, Anwitaman; Despotovic, Zoran; Hauswirth, Manfred; Punceva, Magdalena; Schmidt, Roman · ACM SIGMOD Record · 2003
Paper bricksDittrich, Jens · ACM SIGMOD Record · 2011
Cluster validity methodsHalkidi, Maria; Batistakis, Yannis; Vazirgiannis, Michalis · ACM SIGMOD Record · 2002
Ontologies and semantics for seamless connectivityUschold, Michael; Gruninger, Michael · ACM SIGMOD Record · 2004
Mining data streamsGaber, Mohamed Medhat; Zaslavsky, Arkady; Krishnaswamy, Shonali · ACM SIGMOD Record · 2005
Issues in data stream managementGolab, Lukasz; Özsu, M. Tamer · ACM SIGMOD Record · 2003
Understanding relationsCodd, E. F. · ACM SIGMOD Record · 1974
Clustering validity checking methodsHalkidi, Maria; Batistakis, Yannis; Vazirgiannis, Michalis · ACM SIGMOD Record · 2002