Conferences in DBLP

Mathematics of Program Construction (MPC) (mpc)
2006 (conf/mpc/2006)

1. J. Robin B. Cockett
   What Is a Good Process Semantics? [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:1-3 [Conf]
   
2. Olivier Danvy
   Refunctionalization at Work. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:4- [Conf]
   
3. Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble
   Aspects and Data Refinement. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:5-9 [Conf]
   
4. Andreas Abel
   Towards Generic Programming with Sized Types. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:10-28 [Conf]
   
5. Kamal Aboul-Hosn, Dexter Kozen
   Relational Semantics for Higher-Order Programs. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:29-48 [Conf]
   
6. Philippe Audebaud, Christine Paulin-Mohring
   Proofs of Randomized Algorithms in Coq. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:49-68 [Conf]
   
7. Roland Carl Backhouse, Diethard Michaelis
   Exercises in Quantifier Manipulation. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:69-81 [Conf]
   
8. Richard S. Bird
   Improving Saddleback Search: A Lesson in Algorithm Design. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:82-89 [Conf]
   
9. Richard S. Bird
   Loopless Functional Algorithms. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:90-114 [Conf]
   
10. Yifeng Chen, Jeff W. Sanders
    Compositional Reasoning for Pointer Structures. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:115-139 [Conf]
    
11. Brijesh Dongol, Arjan J. Mooij
    Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:140-161 [Conf]
    
12. Jeremy Gibbons
    Fission for Program Comprehension. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:162-179 [Conf]
    
13. Ralf Hinze, Andres Löh
    "Scrap Your Boilerplate" Revolutions. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:180-208 [Conf]
    
14. Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
    Generic Views on Data Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:209-234 [Conf]
    
15. Jevgeni Kabanov, Varmo Vene
    Recursion Schemes for Dynamic Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:235-252 [Conf]
    
16. Wolfram Kahl, Jacques Carette, Xiaoheng Ji
    Bimonadic Semantics for Basic Pattern Matching Calculi. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:253-273 [Conf]
    
17. Clare E. Martin, Sharon A. Curtis
    Nondeterministic Folds. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:274-298 [Conf]
    
18. Ralph Matthes
    A Datastructure for Iterated Powers. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:299-315 [Conf]
    
19. Larissa Meinicke, Ian J. Hayes
    Continuous Action System Refinement. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:316-337 [Conf]
    
20. Bernhard Möller
    The Linear Algebra of UTP. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:338-358 [Conf]
    
21. Carroll Morgan
    The Shadow Knows: Refinement of Ignorance in Sequential Programs. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:359-378 [Conf]
    
22. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Swapping Arguments and Results of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:379-396 [Conf]
    
23. Kim Solin, Joakim von Wright
    Refinement Algebra with Operators for Enabledness and Termination. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:397-415 [Conf]
    
24. Georg Struth
    Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:416-432 [Conf]
    
25. Anya Tafliovich, Eric C. R. Hehner
    Quantum Predicative Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:433-454 [Conf]