Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
1321 Refactoring: improving the design of existing code – M Fowler, K Beck - 1999
15 The Quest for Correct Systems: Model Checking of Diagrams and Datatypes – Jan Philipps, Oscar Slotosch
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
47 Tool Support for Refactoring Functional Programs – Huiqing Li, Claus Reinke, Simon Thompson - 2003
17 Specification Based Test Sequence Generation with Propositional Logic – G. Wimmel, H. Lötzbeyer , A. Pretschner, O. Slotosch - 2000
406 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998
17 Tool supported Specification and Simulation of Distributed Systems – Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch - 1998
7 Quest: Overview over the Project – Oscar Slotosch
10 Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications – Jan Jürjens, Guido Wimmel - 2001
9 Extended Description Techniques For Security Engineering – Guido Wimmel, Alexander Wisspeintner - 2001
95 Specification and Development of Interactive Systems – M Broy, K Stølen - 2001
27 Sorting Morphisms – Lex Augusteijn - 1998
64 The Haskell School of Expression - Learning Functional Programming Through Multimedia – P Hudak - 2000
423 SEDA: An Architecture for Well-Conditioned, Scalable Internet Services – Matt Welsh, David Culler, Eric Brewer - 2001
262 Flash: An efficient and portable Web server – Vivek S. Pai, Peter Druschel, Willy Zwaenepoel - 1999
99 Cooperative Task Management without Manual Stack Management or, Event-driven Programming is Not the Opposite of Threaded Programming – Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur - 2002
81 Using Cohort Scheduling to Enhance Server Performance – James R. Larus, Michael Parkes - 2002