Brill-Noether theory for moduli spaces of sheaves on algebraic varieties
- 期刊名称Forum Mathematicum
- 作者Costa, Laura; Miró-Roig, Rosa Maria
- 卷第22卷
- 期第3期
- 印刷ISSN0933-7741
- 电子ISSN1435-5337
- 文件大小216.36KB
- 发表时间2010-01
- DOI10.1515/FORUM.2010.023
Transactional events for MLEffinger-Dean, Laura; Kehrt, Matthew; Grossman, Dan · ACM SIGPLAN Notices · 2008
Transactional eventsDonnelly, Kevin; Fluet, Matthew · ACM SIGPLAN Notices · 2006
Event-Based Design and Runtime Verification of Composite Service Transactional BehaviorGaaloul, W.; Bhiri, S.; Rouached, M. · 2010
Feasibility interval for the transactional event handlers of P-FRPBelwal, Chaitanya; Cheng, Albert M.K.; Liu, Bo · Journal of Computer and System Sciences · 2013
Social Exchange: Predicting Transactional Outcomes in Five-Event, Four-Person SystemsH. Andrew Michener, Eugene D. Cohen and Aage B. Sørensen · American Sociological Review · 1977
A Transactional Geography of the Image-Event: The Films of Scottish Director, Bill ForsythStuart C. Aitken · Transactions of the Institute of British Geographers (New Series) · 1991
[Lecture Notes in Computer Science] Software Architecture Volume 6903 || Verifying Composite Service Transactional Behavior with EVENT-BCrnkovic, Ivica; Gruhn, Volker; Book, Matthias · 2011
Transactional eventsDonnelly, Kevin; Fluet, Matthew · ACM SIGPLAN Notices · 2006
[ACM Press the eleventh ACM SIGPLAN international conference - Portland, Oregon, USA (2006.09.16-2006.09.21)] Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 - Transactional eventsDonnelly, Kevin; Fluet, Matthew · 2006
Pure type systems with judgemental equalityADAMS, ROBIN · Journal of Functional Programming · 2005
FUNCTIONAL PEARL Unfolding pointer algorithmsBIRD, RICHARD S. · Journal of Functional Programming · 2001
Red-black trees with typesKAHRS, STEFAN · Journal of Functional Programming · 2001
Functional programming for business studentsMolyneux, Phil · Journal of Functional Programming · 1993
Metamorphism in jigsawNAKANO, KEISUKE · Journal of Functional Programming · 2013
Data types à la carteSWIERSTRA, WOUTER · Journal of Functional Programming · 2008
Delimited control and computational effectsDOWNEN, PAUL; ARIOLA, ZENA M. · Journal of Functional Programming · 2014
The view from the leftMCBRIDE, CONOR; MCKINNA, JAMES · Journal of Functional Programming · 2004