Documents Related by Co-Citation

1224 Introduction to functional programming – Philip Wadler - 1995
418 Comprehending Monads – Philip Wadler - 1992
15 The Quest for Correct Systems: Model Checking of Diagrams and Datatypes – Jan Philipps, Oscar Slotosch
37 Tool Support for Refactoring Functional Programs – H Li, C Reinke, S Thompson - 2003
274 Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1112 Refactoring: Improving the Design of Existing Code – M Fowler, K Beck, J Brant, W Opdyke, D Roberts - 1999
16 Specification Based Test Sequence Generation with Propositional Logic – G. Wimmel, H. Lötzbeyer , A. Pretschner, O. Slotosch - 2000
368 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998
6 Quest: Overview over the Project – O Slotosch - 1998
17 Tool supported Specification and Simulation of Distributed Systems – Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch - 1998
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
87 Specification and Development of Interactive Systems – M Broy, K Stølen - 2001
216 Report on the programming language Haskell: A non-strict, purely functional language – Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young - 1992
28 The Implementation of Functional Languages using Custom Hardware – W R Stoye - 1985
56 The Haskell School of Expression: Learning Functional Programming through Multimedia – P Hudak - 2000
874 A theory of type polymorphism in programming – Robin Milner - 1978
240 Flash: An efficient and portable Web server – Vivek S. Pai, Peter Druschel, Willy Zwaenepoel - 1999
85 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